index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
nix
/
GeoCoq.nix
blob: a86fb2c44aaf59fb1027e5a2065149b66a57cdfd (
plain
)
1
2
3
4
5
{
mathcomp
}:
{
buildInputs =
[
mathcomp
];
configure =
"./configure.sh"
;
}
