ditigal.xyz
Log in
—
Register
~ruther
/
guix-local
summary
tree
log
refs
ref:
5e12096e90a1836fdfaaada8b42e52b5d7efa3ec
guix-local
/
gnu
/
packages
/python-xyz.scm
-rw-r--r--
1.4 MiB
View
Log
View raw
Permalink
5e12096e
— Jean-Pierre De Jesus DIAZ gnu: coq-mathcomp-bigenough: Use new style.
2 years ago
1.4 MiB
large file not shown.
Download