This website requires JavaScript.
Explore
Help
Register
Sign In
colin
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
50,690
Commits
124
Branches
0
Tags
3.3
GiB
531b44562a
Commit Graph
2 Commits
Author
SHA1
Message
Date
Vincent Laporte
531b44562a
why3: update from 0.83 to 0.85
2014-10-12 16:21:02 +02:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00