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
359677
commits
1
branch
0
tags
3.7
GiB
683b9050a2
Branches
Tags
No results found.
Commit graph
3 commits
Author
SHA1
Message
Date
Pierre Roux
2768c9d4cb
Adapt to Coq 8.15 and MathCOmp 1.14
2022-02-02 08:56:55 +01:00
Cyril Cohen
c5c34f6be1
coqPackages.mathcomp: 1.12.0 -> 1.13.0
2021-10-29 21:05:07 +02:00
Vincent Laporte
44745d496c
coqPackages.extructures: init at 0.3.0
2021-10-21 10:03:03 +02:00