|
conda
|
40.9 kB
|
|
osx-64/coq-jupyter-1.6.0-py312hb401068_2.conda
|
1 year and 26 days ago
|
379
|
main
|
|
conda
|
42.1 kB
|
|
osx-64/coq-jupyter-1.6.0-py311h6eed73b_2.conda
|
1 year and 26 days ago
|
371
|
main
|
|
conda
|
34.8 kB
|
|
osx-64/coq-jupyter-1.6.0-py310h2ec42d9_2.conda
|
1 year and 26 days ago
|
398
|
main
|
|
conda
|
34.8 kB
|
|
osx-64/coq-jupyter-1.6.0-py38h50d1736_2.conda
|
1 year and 26 days ago
|
411
|
main
|
|
conda
|
34.6 kB
|
|
osx-64/coq-jupyter-1.6.0-py39h6e9494a_2.conda
|
1 year and 26 days ago
|
385
|
main
|
|
conda
|
40.7 kB
|
|
linux-64/coq-jupyter-1.6.0-py312h7900ff3_2.conda
|
1 year and 26 days ago
|
812
|
main
|
|
conda
|
34.6 kB
|
|
linux-64/coq-jupyter-1.6.0-py39hf3d152e_2.conda
|
1 year and 26 days ago
|
892
|
main
|
|
conda
|
34.6 kB
|
|
linux-64/coq-jupyter-1.6.0-py310hff52083_2.conda
|
1 year and 26 days ago
|
1006
|
main
|
|
conda
|
41.7 kB
|
|
linux-64/coq-jupyter-1.6.0-py311h38be061_2.conda
|
1 year and 26 days ago
|
780
|
main
|
|
conda
|
34.5 kB
|
|
linux-64/coq-jupyter-1.6.0-py38h578d9bd_2.conda
|
1 year and 26 days ago
|
767
|
main
|
|
conda
|
34.5 kB
|
|
osx-64/coq-jupyter-1.6.0-py39h6e9494a_1.conda
|
1 year and 1 month ago
|
382
|
main
|
|
conda
|
35.1 kB
|
|
osx-64/coq-jupyter-1.6.0-py310h2ec42d9_1.conda
|
1 year and 1 month ago
|
385
|
main
|
|
conda
|
41.6 kB
|
|
osx-64/coq-jupyter-1.6.0-py311h6eed73b_1.conda
|
1 year and 1 month ago
|
374
|
main
|
|
conda
|
34.8 kB
|
|
osx-64/coq-jupyter-1.6.0-py38h50d1736_1.conda
|
1 year and 1 month ago
|
384
|
main
|
|
conda
|
34.4 kB
|
|
linux-64/coq-jupyter-1.6.0-py310hff52083_1.conda
|
1 year and 1 month ago
|
793
|
main
|
|
conda
|
41.5 kB
|
|
linux-64/coq-jupyter-1.6.0-py311h38be061_1.conda
|
1 year and 1 month ago
|
794
|
main
|
|
conda
|
34.4 kB
|
|
linux-64/coq-jupyter-1.6.0-py39hf3d152e_1.conda
|
1 year and 1 month ago
|
884
|
main
|
|
conda
|
34.5 kB
|
|
linux-64/coq-jupyter-1.6.0-py38h578d9bd_1.conda
|
1 year and 1 month ago
|
766
|
main
|
|
conda
|
33.0 kB
|
|
osx-64/coq-jupyter-1.6.0-py310h2ec42d9_0.tar.bz2
|
2 years and 8 months ago
|
74
|
main
|
|
conda
|
32.7 kB
|
|
osx-64/coq-jupyter-1.6.0-py37hf985489_0.tar.bz2
|
2 years and 8 months ago
|
73
|
main
|
|
conda
|
32.8 kB
|
|
osx-64/coq-jupyter-1.6.0-py38h50d1736_0.tar.bz2
|
2 years and 8 months ago
|
74
|
main
|
|
conda
|
32.9 kB
|
|
osx-64/coq-jupyter-1.6.0-py39h6e9494a_0.tar.bz2
|
2 years and 8 months ago
|
73
|
main
|
|
conda
|
33.0 kB
|
|
linux-64/coq-jupyter-1.6.0-py310hff52083_0.tar.bz2
|
2 years and 8 months ago
|
1437
|
main
|
|
conda
|
32.7 kB
|
|
linux-64/coq-jupyter-1.6.0-py37h89c1867_0.tar.bz2
|
2 years and 8 months ago
|
1359
|
main
|
|
conda
|
32.8 kB
|
|
linux-64/coq-jupyter-1.6.0-py38h578d9bd_0.tar.bz2
|
2 years and 8 months ago
|
1341
|
main
|
|
conda
|
32.9 kB
|
|
linux-64/coq-jupyter-1.6.0-py39hf3d152e_0.tar.bz2
|
2 years and 8 months ago
|
1936
|
main
|
|
conda
|
32.3 kB
|
|
osx-64/coq-jupyter-1.5.3-py39h6e9494a_3.tar.bz2
|
2 years and 11 months ago
|
73
|
main
|
|
conda
|
32.1 kB
|
|
osx-64/coq-jupyter-1.5.3-py37hf985489_3.tar.bz2
|
2 years and 11 months ago
|
76
|
main
|
|
conda
|
32.2 kB
|
|
osx-64/coq-jupyter-1.5.3-py38h50d1736_3.tar.bz2
|
2 years and 11 months ago
|
74
|
main
|
|
conda
|
32.4 kB
|
|
osx-64/coq-jupyter-1.5.3-py310h2ec42d9_3.tar.bz2
|
2 years and 11 months ago
|
73
|
main
|
|
conda
|
32.1 kB
|
|
linux-64/coq-jupyter-1.5.3-py37h89c1867_3.tar.bz2
|
2 years and 11 months ago
|
1437
|
main
|
|
conda
|
32.4 kB
|
|
linux-64/coq-jupyter-1.5.3-py310hff52083_3.tar.bz2
|
2 years and 11 months ago
|
1392
|
main
|
|
conda
|
32.3 kB
|
|
linux-64/coq-jupyter-1.5.3-py39hf3d152e_3.tar.bz2
|
2 years and 11 months ago
|
1973
|
main
|
|
conda
|
32.3 kB
|
|
linux-64/coq-jupyter-1.5.3-py38h578d9bd_3.tar.bz2
|
2 years and 11 months ago
|
1443
|
main
|
|
conda
|
31.9 kB
|
|
osx-64/coq-jupyter-1.5.3-py36hc560c46_2.tar.bz2
|
4 years and 11 days ago
|
291
|
main
|
|
conda
|
31.8 kB
|
|
osx-64/coq-jupyter-1.5.3-py37hc8dfbb8_2.tar.bz2
|
4 years and 11 days ago
|
291
|
main
|
|
conda
|
31.7 kB
|
|
osx-64/coq-jupyter-1.5.3-py36h9f0ad1d_2.tar.bz2
|
4 years and 11 days ago
|
286
|
main
|
|
conda
|
31.9 kB
|
|
osx-64/coq-jupyter-1.5.3-py39hde42818_2.tar.bz2
|
4 years and 11 days ago
|
304
|
main
|
|
conda
|
31.8 kB
|
|
linux-64/coq-jupyter-1.5.3-py37hc8dfbb8_2.tar.bz2
|
4 years and 11 days ago
|
2032
|
main
|
|
conda
|
31.9 kB
|
|
osx-64/coq-jupyter-1.5.3-py38h32f6830_2.tar.bz2
|
4 years and 11 days ago
|
280
|
main
|
|
conda
|
32.0 kB
|
|
linux-64/coq-jupyter-1.5.3-py39hde42818_2.tar.bz2
|
4 years and 11 days ago
|
2589
|
main
|
|
conda
|
31.9 kB
|
|
linux-64/coq-jupyter-1.5.3-py36hc560c46_2.tar.bz2
|
4 years and 11 days ago
|
2000
|
main
|
|
conda
|
31.8 kB
|
|
linux-64/coq-jupyter-1.5.3-py36h9f0ad1d_2.tar.bz2
|
4 years and 11 days ago
|
2026
|
main
|
|
conda
|
31.8 kB
|
|
linux-64/coq-jupyter-1.5.3-py38h32f6830_2.tar.bz2
|
4 years and 11 days ago
|
2047
|
main
|
|
conda
|
31.4 kB
|
|
osx-64/coq-jupyter-1.5.3-py38h32f6830_1.tar.bz2
|
4 years and 6 months ago
|
333
|
main
|
|
conda
|
31.4 kB
|
|
osx-64/coq-jupyter-1.5.3-py36hc560c46_1.tar.bz2
|
4 years and 6 months ago
|
328
|
main
|
|
conda
|
31.3 kB
|
|
osx-64/coq-jupyter-1.5.3-py36h9f0ad1d_1.tar.bz2
|
4 years and 6 months ago
|
333
|
main
|
|
conda
|
31.3 kB
|
|
osx-64/coq-jupyter-1.5.3-py37hc8dfbb8_1.tar.bz2
|
4 years and 6 months ago
|
329
|
main
|
|
conda
|
31.5 kB
|
|
linux-64/coq-jupyter-1.5.3-py38h32f6830_1.tar.bz2
|
4 years and 6 months ago
|
2416
|
main
|
|
conda
|
31.4 kB
|
|
linux-64/coq-jupyter-1.5.3-py37hc8dfbb8_1.tar.bz2
|
4 years and 6 months ago
|
2465
|
main
|