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
122,443
Commits
2
Branches
0
Tags
13
GiB
2309acf723
Commit Graph
3 Commits
Author
SHA1
Message
Date
Simon Lackerbauer
800f751740
abella: 2.0.2 -> 2.0.4
2017-10-16 02:39:16 +02:00
Vincent Laporte
3b7c68615e
abella: fix build with OCaml ≥ 4.03
2017-09-22 03:32:06 +00:00
Ben Darwin
172167c937
new package: abella 2.0.2
2015-03-24 00:54:03 -04:00