THIS IS A TEST INSTANCE ONLY! REPOSITORIES CAN BE DELETED AT ANY TIME!
This website requires JavaScript.
Explore
Help
Sign In
jolheiser
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
48,984
Commits
266
Branches
122
Tags
5.3
GiB
82797f98f2
Commit Graph
52 Commits
Author
SHA1
Message
Date
Marco Maggesi
a0207b3dc7
Updated Coq to version 8.2pl1
...
svn path=/nixpkgs/trunk/; revision=18069
2009-11-02 11:44:27 +00:00
Marco Maggesi
c4533b8d24
Added camlp5 the preprocessor-pretty-printer for OCaml
...
svn path=/nixpkgs/trunk/; revision=18068
2009-11-02 10:47:24 +00:00
First
Previous
1
2
Next
Last