Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-18 22:06:04 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
14369 commits 322 branches 1143 tags 288 MiB
Commit graph

1 commit

Author SHA1 Message Date
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