This website requires JavaScript.
Explore
Help
Sign In
Miroirs
/
slackbuilds_ponce
Watch
1
Star
0
Fork
You've already forked slackbuilds_ponce
0
mirror of
https://github.com/Ponce/slackbuilds
synced
2024-10-13 08:43:42 +02:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
13546
commits
313
branches
1132
tags
279
MiB
bef4f3c03f
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