|
|
conda
|
108.9 MB
|
|
osx-64/coq-8.12.2-h694c41f_0.tar.bz2
|
3 years and 11 months ago
|
477
|
main
|
|
|
conda
|
139.0 MB
|
|
linux-64/coq-8.12.2-ha770c72_0.tar.bz2
|
3 years and 11 months ago
|
3387
|
main
|
|
|
conda
|
101.2 MB
|
|
osx-64/coq-8.12.0-0.tar.bz2
|
4 years and 4 months ago
|
375
|
main
|
|
|
conda
|
128.5 MB
|
|
linux-64/coq-8.12.0-0.tar.bz2
|
4 years and 4 months ago
|
3778
|
main
|
|
|
conda
|
122.2 MB
|
|
linux-64/coq-8.11.2-0.tar.bz2
|
4 years and 6 months ago
|
3516
|
main
|
|
|
conda
|
95.8 MB
|
|
osx-64/coq-8.11.2-0.tar.bz2
|
4 years and 6 months ago
|
359
|
main
|
|
|
conda
|
122.1 MB
|
|
linux-64/coq-8.11.1-0.tar.bz2
|
4 years and 8 months ago
|
3497
|
main
|
|
|
conda
|
95.8 MB
|
|
osx-64/coq-8.11.1-0.tar.bz2
|
4 years and 8 months ago
|
357
|
main
|
|
|
conda
|
95.9 MB
|
|
osx-64/coq-8.11.0-1.tar.bz2
|
4 years and 10 months ago
|
406
|
main
cf202003
|
|
|
conda
|
122.3 MB
|
|
linux-64/coq-8.11.0-1.tar.bz2
|
4 years and 10 months ago
|
3691
|
main
cf202003
|
|
|
conda
|
95.9 MB
|
|
osx-64/coq-8.11.0-0.tar.bz2
|
4 years and 10 months ago
|
364
|
main
cf202003
|
|
|
conda
|
122.2 MB
|
|
linux-64/coq-8.11.0-0.tar.bz2
|
4 years and 10 months ago
|
3723
|
main
cf202003
|
|
|
conda
|
92.4 MB
|
|
osx-64/coq-8.10.1-0.tar.bz2
|
5 years and 13 days ago
|
398
|
main
cf202003
|
|
|
conda
|
118.0 MB
|
|
linux-64/coq-8.10.1-0.tar.bz2
|
5 years and 13 days ago
|
3927
|
main
cf202003
|
|
|
conda
|
86.4 MB
|
|
osx-64/coq-8.9.1-1.tar.bz2
|
5 years and 5 months ago
|
427
|
main
cf202003
|
|
|
conda
|
109.6 MB
|
|
linux-64/coq-8.9.1-1.tar.bz2
|
5 years and 5 months ago
|
4420
|
main
cf202003
|
|
|
conda
|
86.6 MB
|
|
osx-64/coq-8.9.1-0.tar.bz2
|
5 years and 5 months ago
|
388
|
main
cf202003
|
|
|
conda
|
109.7 MB
|
|
linux-64/coq-8.9.1-0.tar.bz2
|
5 years and 5 months ago
|
4329
|
main
cf202003
|
|
|
conda
|
109.6 MB
|
|
linux-64/coq-8.9.0-0.tar.bz2
|
5 years and 9 months ago
|
4724
|
main
cf202003
|
