|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
|
1 month and 11 hours ago
|
85
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
|
2 months and 9 days ago
|
196
|
main
|
|
|
conda
|
33.3 kB
|
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
|
3 months and 20 days ago
|
368
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
|
4 months and 22 days ago
|
503
|
main
|
|
|
conda
|
33.4 kB
|
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
|
8 months and 1 hour ago
|
660
|
main
|
|
|
conda
|
33.7 kB
|
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
|
11 months and 15 days ago
|
876
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
|
1 year and 2 months ago
|
884
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
|
1 year and 3 months ago
|
898
|
main
|
|
|
conda
|
33.6 kB
|
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
|
1 year and 3 months ago
|
947
|
main
|
|
|
conda
|
33.2 kB
|
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
|
1 year and 6 months ago
|
1009
|
main
|
|
|
conda
|
33.1 kB
|
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
|
1 year and 7 months ago
|
993
|
main
|
|
|
conda
|
31.8 kB
|
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
|
1 year and 8 months ago
|
1057
|
main
|
|
|
conda
|
26.2 kB
|
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
|
1 year and 10 months ago
|
1173
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
|
1 year and 11 months ago
|
1255
|
main
|
|
|
conda
|
25.9 kB
|
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
|
2 years and 11 days ago
|
1279
|
main
|
|
|
conda
|
25.6 kB
|
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
|
2 years and 1 month ago
|
1362
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
|
2 years and 2 months ago
|
1366
|
main
|
|
|
conda
|
25.4 kB
|
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
|
2 years and 3 months ago
|
1393
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
|
2 years and 6 months ago
|
1514
|
main
|
|
|
conda
|
20.3 kB
|
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
|
2 years and 7 months ago
|
1630
|
main
|
|
|
conda
|
20.4 kB
|
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
|
2 years and 7 months ago
|
1647
|
main
|
|
|
conda
|
19.9 kB
|
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
|
2 years and 8 months ago
|
1694
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
2052
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2
|
2 years and 11 months ago
|
2042
|
main
|
|
|
conda
|
18.3 kB
|
|
noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2
|
3 years and 19 days ago
|
2088
|
main
|
|
|
conda
|
18.2 kB
|
|
noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2
|
3 years and 2 months ago
|
2071
|
main
|
