THIS IS A TEST INSTANCE ONLY! REPOSITORIES CAN BE DELETED AT ANY TIME!
This website requires JavaScript.
Explore
Help
Sign In
jolheiser
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
90,169
Commits
266
Branches
122
Tags
5.3
GiB
c527ece0b1
Commit Graph
1 Commits
Author
SHA1
Message
Date
Vincent Laporte
e182ddf008
coqPackages.coquelicot: init at 2.1.1
...
Coquelicot is a Coq library for Reals. Homepage:
http://coquelicot.saclay.inria.fr/
2016-01-06 09:13:38 +01:00