|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
|
5 days and 33 minutes ago
|
25
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
|
1 month and 14 days ago
|
137
|
main
|
|
|
conda
|
33.3 kB
|
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
|
2 months and 22 days ago
|
319
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
|
3 months and 23 days ago
|
453
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
|
7 months and 4 days ago
|
604
|
main
|
|
|
conda
|
33.7 kB
|
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
|
10 months and 17 days ago
|
823
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
|
1 year and 1 month ago
|
828
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
846
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
893
|
main
|
|
|
conda
|
33.2 kB
|
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
|
1 year and 5 months ago
|
960
|
main
|
|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
|
1 year and 6 months ago
|
941
|
main
|
|
|
conda
|
31.8 kB
|
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
|
1 year and 7 months ago
|
1001
|
main
|
|
|
conda
|
26.2 kB
|
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
|
1 year and 9 months ago
|
1123
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
|
1 year and 10 months ago
|
1207
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
|
1 year and 11 months ago
|
1233
|
main
|
|
|
conda
|
25.6 kB
|
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
|
2 years and 15 days ago
|
1307
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
|
2 years and 1 month ago
|
1318
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
|
2 years and 2 months ago
|
1345
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
|
2 years and 5 months ago
|
1461
|
main
|
|
|
conda
|
20.3 kB
|
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1578
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1597
|
main
|
|
|
conda
|
19.9 kB
|
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
|
2 years and 7 months ago
|
1643
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2
|
2 years and 10 months ago
|
2004
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
1985
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
2036
|
main
|
|
|
conda
|
18.2 kB
|
|
noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2
|
3 years and 1 month ago
|
2013
|
main
|
