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: 45d688285e1fe1bc17f6784b4eee2fb5d3fb1c87 (
plain
)
1
2
3
4
5
{
mathcomp
}:
{
coqBuildInputs =
[
mathcomp
];
configure =
"./configure.sh"
;
}
