This website requires JavaScript.
Explore
Help
Register
Sign In
JakeHillion
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
235,463
Commits
2
Branches
0
Tags
13
GiB
facca97134
Commit Graph
2 Commits
Author
SHA1
Message
Date
Cyril Cohen
cc1f954bc4
ocamlPackages.elpi: 1.10.2 -> 1.11.0
...
coqPackages.coq-elpi: 1.3.1 -> 1.4.0 coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
2020-06-04 10:25:19 +02:00
Cyril Cohen
cf210c082d
coqPackages.hierarchy-builder: init at 0.9.0
2020-03-11 17:15:52 +01:00