This website requires JavaScript.
Explore
Help
Sign In
NixOS
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs
synced
2024-10-19 03:47:13 -04:00
Code
Activity
8728
commits
216
branches
122
tags
7.8
GiB
0d041d909b
Commit graph
2 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