|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
|
5 days and 9 hours ago
|
26
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
|
1 month and 14 days ago
|
139
|
main
|
|
|
conda
|
33.3 kB
|
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
|
2 months and 22 days ago
|
320
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
|
3 months and 24 days ago
|
455
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
|
7 months and 4 days ago
|
605
|
main
|
|
|
conda
|
33.7 kB
|
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
|
10 months and 17 days ago
|
824
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
|
1 year and 1 month ago
|
830
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
847
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
895
|
main
|
|
|
conda
|
33.2 kB
|
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
|
1 year and 5 months ago
|
962
|
main
|
|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
|
1 year and 6 months ago
|
943
|
main
|
|
|
conda
|
31.8 kB
|
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
|
1 year and 7 months ago
|
1003
|
main
|
|
|
conda
|
26.2 kB
|
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
|
1 year and 9 months ago
|
1124
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
|
1 year and 10 months ago
|
1209
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
|
1 year and 11 months ago
|
1235
|
main
|
|
|
conda
|
25.6 kB
|
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
|
2 years and 16 days ago
|
1309
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
|
2 years and 1 month ago
|
1320
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
|
2 years and 2 months ago
|
1346
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
|
2 years and 5 months ago
|
1463
|
main
|
|
|
conda
|
20.3 kB
|
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1580
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1598
|
main
|
|
|
conda
|
19.9 kB
|
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
|
2 years and 7 months ago
|
1645
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2
|
2 years and 10 months ago
|
2006
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
1986
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
2038
|
main
|
|
|
conda
|
18.2 kB
|
|
noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2
|
3 years and 1 month ago
|
2015
|
main
|
