|
|
conda
|
95.9 MB
|
|
osx-64/coq-8.11.0-1.tar.bz2
|
5 years and 2 months ago
|
410
|
main
cf202003
|
|
|
conda
|
122.3 MB
|
|
linux-64/coq-8.11.0-1.tar.bz2
|
5 years and 2 months ago
|
4051
|
main
cf202003
|
|
|
conda
|
95.9 MB
|
|
osx-64/coq-8.11.0-0.tar.bz2
|
5 years and 2 months ago
|
368
|
main
cf202003
|
|
|
conda
|
122.2 MB
|
|
linux-64/coq-8.11.0-0.tar.bz2
|
5 years and 2 months ago
|
4092
|
main
cf202003
|
|
|
conda
|
92.4 MB
|
|
osx-64/coq-8.10.1-0.tar.bz2
|
5 years and 5 months ago
|
402
|
main
cf202003
|
|
|
conda
|
118.0 MB
|
|
linux-64/coq-8.10.1-0.tar.bz2
|
5 years and 5 months ago
|
4308
|
main
cf202003
|
|
|
conda
|
86.4 MB
|
|
osx-64/coq-8.9.1-1.tar.bz2
|
5 years and 10 months ago
|
430
|
main
cf202003
|
|
|
conda
|
109.6 MB
|
|
linux-64/coq-8.9.1-1.tar.bz2
|
5 years and 10 months ago
|
4778
|
main
cf202003
|
|
|
conda
|
86.6 MB
|
|
osx-64/coq-8.9.1-0.tar.bz2
|
5 years and 10 months ago
|
391
|
main
cf202003
|
|
|
conda
|
109.7 MB
|
|
linux-64/coq-8.9.1-0.tar.bz2
|
5 years and 10 months ago
|
4720
|
main
cf202003
|
|
|
conda
|
109.6 MB
|
|
linux-64/coq-8.9.0-0.tar.bz2
|
6 years and 2 months ago
|
5069
|
main
cf202003
|
