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
38cee3ef97
nixpkgs
/
pkgs
/
development
/
coq-modules
/
mathcomp-infotheo
History
Sebastian
6ed38373dc
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (
#285276
)
...
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
2024-02-09 18:24:43 +01:00
..
default.nix
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (
#285276
)
2024-02-09 18:24:43 +01:00