slackbuilds_ponce/academic/coq/gpl.txt.gz
William Bowman bef4f3c03f academic/coq: Added (The Coq Proof Assistant)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-08-05 11:11:34 -03:00

12 KiB