This website requires JavaScript.
Explore
Help
Sign in
cafkafk
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2
56381
commits
1
branch
0
tags
3.7
GiB
7c3fa29e30
Commit graph
3 commits
Author
SHA1
Message
Date
John Wiegley
753539800e
coqPackages.fiat: enable building the examples as a test
2015-01-09 15:20:17 -06:00
John Wiegley
443301ec8c
coqPackages.fiat: correct installation directory
2015-01-09 14:21:08 -06:00
John Wiegley
2aec1b0f31
coqPackages.fiat: new expression
2015-01-09 14:07:39 -06:00