|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
|
4 days and 16 minutes ago
|
23
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
|
1 month and 13 days ago
|
137
|
main
|
|
|
conda
|
33.3 kB
|
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
|
2 months and 21 days ago
|
318
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
|
3 months and 22 days ago
|
453
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
|
7 months and 3 days ago
|
604
|
main
|
|
|
conda
|
33.7 kB
|
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
|
10 months and 16 days ago
|
822
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
|
1 year and 1 month ago
|
827
|
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
|
892
|
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
|
940
|
main
|
|
|
conda
|
31.8 kB
|
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
|
1 year and 7 months ago
|
1000
|
main
|
|
|
conda
|
26.2 kB
|
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
|
1 year and 9 months ago
|
1122
|
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
|
1232
|
main
|
|
|
conda
|
25.6 kB
|
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
|
2 years and 14 days ago
|
1306
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
|
2 years and 1 month ago
|
1317
|
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
|
1577
|
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
|
2003
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
1984
|
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
|
2012
|
main
|
