|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
|
3 days and 11 hours ago
|
21
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
|
1 month and 12 days ago
|
134
|
main
|
|
|
conda
|
33.3 kB
|
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
|
2 months and 20 days ago
|
316
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
|
3 months and 22 days ago
|
450
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
|
7 months and 3 days ago
|
601
|
main
|
|
|
conda
|
33.7 kB
|
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
|
10 months and 15 days ago
|
819
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
|
1 year and 1 month ago
|
824
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
844
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
889
|
main
|
|
|
conda
|
33.2 kB
|
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
|
1 year and 5 months ago
|
957
|
main
|
|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
|
1 year and 6 months ago
|
937
|
main
|
|
|
conda
|
31.8 kB
|
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
|
1 year and 7 months ago
|
997
|
main
|
|
|
conda
|
26.2 kB
|
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
|
1 year and 9 months ago
|
1119
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
|
1 year and 10 months ago
|
1204
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
|
1 year and 11 months ago
|
1229
|
main
|
|
|
conda
|
25.6 kB
|
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
|
2 years and 14 days ago
|
1303
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
|
2 years and 1 month ago
|
1314
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
|
2 years and 2 months ago
|
1342
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
|
2 years and 5 months ago
|
1459
|
main
|
|
|
conda
|
20.3 kB
|
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1575
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1595
|
main
|
|
|
conda
|
19.9 kB
|
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
|
2 years and 7 months ago
|
1641
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2
|
2 years and 10 months ago
|
2001
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
1982
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
2034
|
main
|
|
|
conda
|
18.2 kB
|
|
noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2
|
3 years and 1 month ago
|
2010
|
main
|
