Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/components.sha1
author wenzelm
Fri, 26 Apr 2024 13:25:44 +0200
changeset 80150 96f60533ec1d
parent 80131 68fc6839679e
permissions -rw-r--r--
update Windows test machines;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     1
 
59a71e08c34ff01f3f5c4af00db5e16369527eb7 Haskabelle-2013.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     2
 
23a96ff4951d72f4024b6e8843262eda988bc151 Haskabelle-2014.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     3
 
eccff31931fb128c1dd522cfc85495c9b66e67af Haskabelle-2015.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     4
 
ed740867925dcf58692c8d3e350c28e3b4d4a60f Isabelle_app-20210126.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     5
 
8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     6
 
847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     7
 
8e0b2b432755ef11d964e20637d1bc567d1c0477 ProofGeneral-4.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     8
 
51e1e0f399e934020565b2301358452c0bcc8a5e ProofGeneral-4.2-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
     9
 
8472221c876a430cde325841ce52893328302712 ProofGeneral-4.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    10
 
ce750fb7f26f6f51c03c6e78096a57b8eaf11d21 apache-commons-20211211.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    11
 
fbe83b522cb37748ac1b3c943ad71704fdde2f82 bash_process-1.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    12
 
bb9ef498cd594b4289221b96146d529c899da209 bash_process-1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    13
 
81250148f8b89ac3587908fb20645081d7f53207 bash_process-1.2.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    14
 
97b2491382130a841b3bbaebdcf8720c4d4fb227 bash_process-1.2.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    15
 
5c5b7c18cc1dc2a4d22b997dac196da09eaca868 bash_process-1.2.3-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    16
 
48b01bd9436e243ffcb7297f08b498d0c0875ed9 bash_process-1.2.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    17
 
11815d5f3af0de9022e903ed8702c136591f06fe bash_process-1.2.4-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    18
 
729486311833e4eff0fbf2d8041dddad520ca88c bash_process-1.2.4-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    19
 
7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee bash_process-1.2.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    20
 
9e21f447bfa0431ae5097301d553dd6df3c58218 bash_process-1.2.tar.gz
79749
a861b0df74b4 rebuild bash_process executables on current reference platforms, including native arm64-darwin;
wenzelm
parents: 79740
diff changeset 
    21
 
351d1ec27061479595abdd52c28ff4c88c87746e bash_process-1.3.1.tar.gz
76101
e59d7d6fe1bd clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
wenzelm
parents: 76076
diff changeset 
    22
 
84246b9b6460296a6f8e8d661643b36719f7834a bash_process-1.3.tar.gz
80003
7e52091795e8 update to bash_process-20240326;
wenzelm
parents: 79991
diff changeset 
    23
 
7a92beb20d92cc71cabc8585d445f390b0749313 bash_process-20240326.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    24
 
a65ce644b6094d41e9f991ef851cf05eff5dd0a9 bib2xhtml-20171221.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    25
 
4085dd6060a32d7e0d2e3f874c463a9964fd409b bib2xhtml-20190409.tar.gz
80029
a2d15ad6877a run "isabelle components_build -u";
wenzelm
parents: 80003
diff changeset 
    26
 
dd6abfacab3f675ddc09376c6b66ce21448b1116 cakeml-2.0-1-test-nopie.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    27
 
f92cff635dfba5d4d77f469307369226c868542c cakeml-2.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    28
 
e7ffe4238b61a3c1ee87aca4421e7a612e09b836 ci-extras-1.tar.gz
77181
3eb3de867786 proper symbolic handle on component resources:
wenzelm
parents: 77047
diff changeset 
    29
 
81ff56cd379744d1965425c7624feefffdf381eb ci-extras-2.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    30
 
e880f31f59bd403fb72fcd3b5afb413c3831a21c csdp-6.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    31
 
2659100ba8e28e7cb0ecb554178ee5315d4a87f5 csdp-6.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    32
 
a2bd94f4f9281dc70dfda66cf28016c2ffef7ed7 csdp-6.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    33
 
ec17080269737e4a97b4424a379924c09b338ca2 csdp-6.2.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    34
 
70105fd6fbfd1a868383fc510772b95234325d31 csdp-6.x.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    35
 
2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7 cvc3-2.4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    36
 
d70bfbe63590153c07709dea7084fbc39c669841 cvc4-1.5-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    37
 
541eac340464c5d34b70bb163ae277cc8829c40f cvc4-1.5-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    38
 
1a44895d2a440091a15cc92d7f77a06a2e432507 cvc4-1.5-3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    39
 
c0d8d5929b00e113752d8bf5d11241cd3bccafce cvc4-1.5-4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    40
 
ffb0d4739c10eb098eb092baef13eccf94a79bad cvc4-1.5-5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    41
 
3682476dc5e915cf260764fa5b86f1ebdab57507 cvc4-1.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    42
 
a5e02b5e990da4275dc5d4480c3b72fc73160c28 cvc4-1.5pre-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    43
 
4d9658fd2688ae8ac78da8fdfcbf85960f871b71 cvc4-1.5pre-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    44
 
b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9 cvc4-1.5pre-3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    45
 
76ff6103b8560f0e2778bbfbdb05f5fa18f850b7 cvc4-1.5pre-4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    46
 
03aec2ec5757301c9df149f115d1f4f1d2cafd9e cvc4-1.5pre.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    47
 
e99560d0b7cb9bafde2b0ec1a3a95af315918a25 cvc4-1.8.tar.gz
76019
f3d8da992445 provide cvc5-1.0.2 (inactive);
wenzelm
parents: 75870
diff changeset 
    48
 
9e0d91f9f3bc0b69e60e50ca683cfcdcbfee6d62 cvc5-1.0.2.tar.gz
79750
f8fb4384180e provide cvc5-1.1.1 for testing --- still inactive;
wenzelm
parents: 79749
diff changeset 
    49
 
fb4dce7e622c5e3daf56e7db190e05c34985c9f6 cvc5-1.1.1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    50
 
842d9526f37b928cf9e22f141884365129990d63 cygwin-20130110.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    51
 
cb3b0706d208f104b800267697204f6d82f7b48a cygwin-20130114.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    52
 
3b44cca04855016d5f8cfb5101b2e0579ab80197 cygwin-20130117.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    53
 
1fde9ddf0fa4f398965113d0c0c4f0e97c78d008 cygwin-20130716.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    54
 
a03735a53c2963eb0b453f6a7282d3419f28bf38 cygwin-20130916.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    55
 
7470125fc46e24ee188bdaacc6d560e01b6fa839 cygwin-20140520.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    56
 
db4dedae026981c5f001be283180abc1962b79ad cygwin-20140521.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    57
 
acbc4bf161ad21e96ecfe506266ccdbd288f8a6f cygwin-20140530.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    58
 
3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41 cygwin-20140626.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    59
 
8e562dfe57a2f894f9461f4addedb88afa108152 cygwin-20140725.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    60
 
238d8e30e8e22495b7ea3f5ec36e852e97fe8bbf cygwin-20140813.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    61
 
629b8fbe35952d1551cd2a7ff08db697f6dff870 cygwin-20141024.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    62
 
ce93d0b3b2743c4f4e5bba30c2889b3b7bc22f2c cygwin-20150410.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    63
 
fa712dd5ec66ad16add1779d68aa171ff5694064 cygwin-20151210.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    64
 
056b843d5a3b69ecf8a52c06f2ce6e696dd275f9 cygwin-20151221.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    65
 
44f3a530f727e43a9413226c2423c9ca3e4c0cf5 cygwin-20161002.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    66
 
dd56dd16d861fc6e1a008bf5e9da6f33ed6eb820 cygwin-20161022.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    67
 
d9ad7aae99d54e3b9813151712eb88a441613f04 cygwin-20161024.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    68
 
f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e cygwin-20170828.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    69
 
c22048912b010a5a0b4f2a3eb4d318d6953761e4 cygwin-20170930.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    70
 
5a3919e665947b820fd7f57787280c7512be3782 cygwin-20180604.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    71
 
2aa049170e8088de59bd70eed8220f552093932d cygwin-20190320.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    72
 
fb898e263fcf6f847d97f564fe49ea0760bb453f cygwin-20190322.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    73
 
cd01fac0ab4fdb50a2bbb6416da3f15a4d540da1 cygwin-20190524.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    74
 
caa616fbab14c1fce790a87db5c4758c1322cf28 cygwin-20200116.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    75
 
f053a9ab01f0be9cb456560f7eff66a8e7ba2fd2 cygwin-20200323.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    76
 
0107343cd2562618629f73b2581168f0045c3234 cygwin-20201002.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    77
 
a3d481401b633c0ee6abf1da07d75da94076574c cygwin-20201130.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    78
 
5b1820b87b25d8f2d237515d9854e3ce54ee331b cygwin-20211002.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    79
 
5dff30be394d88dd83ea584fa6f8063bdcdc21fd cygwin-20211004.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    80
 
fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
76028
105867f98630 updated to current Cygwin, near 3.3.5-1;
wenzelm
parents: 76020
diff changeset 
    81
 
66e16dccd7b177c086ab53013c1b74d09c1893ad cygwin-20220831.tar.gz
76239
d042947e47a3 include openssh for rsync (see also a1c7829ac2de);
wenzelm
parents: 76238
diff changeset 
    82
 
6cd34e30e2e650f239d19725c3d15c206fb3a7cf cygwin-20221002.tar.gz
78684
aa532cf1c894 tuned: more standard order;
wenzelm
parents: 78683
diff changeset 
    83
 
fe8c541722f2fd6940f9e9948928b55fbc32d14b cygwin-20230711-1.tar.gz
78304
e4b57eea7f86 update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
wenzelm
parents: 78303
diff changeset 
    84
 
bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
79782
8bde94328b05 update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
wenzelm
parents: 79755
diff changeset 
    85
 
ea23f766909632d8a6c0fefafbde467d1d289383 cygwin-20240305.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    86
 
0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    87
 
2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    88
 
e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    89
 
b98a98025d1f7e560ca6864a53296137dae736b4 e-1.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    90
 
c11b25c919e2ec44fe2b6ac2086337b456344e97 e-1.8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    91
 
a895a96ec7e6fcc275114bb9b4c92b20fac73dba e-2.0-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    92
 
2ebd7e3067a2cdae3cb8b073345827013978d74b e-2.0-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    93
 
fac44556dd16f666a2c186be30aa6d8c67228bb9 e-2.0-3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    94
 
5d36fb62912cfcff7f3b99a6266c578aafc288b7 e-2.0-4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    95
 
3223c51c0b16fe00ced4ae903041fff858e61742 e-2.0-5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    96
 
6b962a6b4539b7ca4199977973c61a8c98a492e8 e-2.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    97
 
66449a7b68b7d85a7189e10735a81069356123b6 e-2.5-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    98
 
813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
    99
 
6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   100
 
a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
79752
788f11af9822 provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
wenzelm
parents: 79750
diff changeset 
   101
 
230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
76396
389d77e6be9f support for Easychair style with demo document;
wenzelm
parents: 76395
diff changeset 
   102
 
239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
76478
d84568379f3f support for EPTCS style with demo document;
wenzelm
parents: 76443
diff changeset 
   103
 
4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   104
 
6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   105
 
8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   106
 
e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   107
 
ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   108
 
7a4b46752aa60c1ee6c53a2c128dedc8255a4568 flatlaf-0.46-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   109
 
ed5cbc216389b655dac21a19e770a02a96867b85 flatlaf-0.46.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   110
 
d37b38b9a27a6541c644e22eeebe9a339282173d flatlaf-1.0-rc1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   111
 
dac46ce81cee10fb36a9d39b414dec7b7b671545 flatlaf-1.0-rc2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   112
 
d94e6da7299004890c04a7b395a3f2d381a3281e flatlaf-1.0-rc3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   113
 
7ca3e6a8c9bd837990e64d89e7fa07a7e7cf78ff flatlaf-1.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   114
 
9908e5ab721f1c0035c0ab04dc7ad0bd00a8db27 flatlaf-1.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   115
 
9534b721b7b78344f3225067ee4df28a5440b87e flatlaf-1.6.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   116
 
212a0f1f867511722024cc60156fd71872a16f92 flatlaf-1.6.tar.gz
75707
de32bb75721d updated to flatlaf-2.4;
wenzelm
parents: 75706
diff changeset 
   117
 
6d4dbb6f2bde5804298d9008e3edceb0b9ee20ae flatlaf-2.4.tar.gz
78285
98c53bcb9f07 update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
wenzelm
parents: 78147
diff changeset 
   118
 
31d6abd58a4c2f7522f14283dfe04e2801a6e828 flatlaf-2.6.tar.gz
76399
d0a1f3eb0982 support for FoilTeX with demo document;
wenzelm
parents: 76396
diff changeset 
   119
 
b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   120
 
f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   121
 
71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   122
 
683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
78747
d03de7bc2137 updated to hugo-0.119.0;
Fabian Huch <huch@in.tum.de>
parents: 78684
diff changeset 
   123
 
c947c751810777a4a7668d1b1b92942f178bb7b5 hugo-0.119.0.tar.gz
75521
7a289e681454 provide hugo-0.88.1 for darwin and linux;
Fabian Huch <huch@in.tum.de>
parents: 75384
diff changeset 
   124
 
511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   125
 
989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   126
 
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   127
 
736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   128
 
9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   129
 
f5c63689a394b974ac0d365debda577c6fa31c07 isabelle_fonts-20151107.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   130
 
812101680b75f7fa9ee8e138ea6314fa4824ea2d isabelle_fonts-20151229.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   131
 
2730e1475c7d655655882e75743e0b451725a274 isabelle_fonts-20151231.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   132
 
1f004a6bf20088a7e8f1b3d4153aa85de6fc1091 isabelle_fonts-20160101.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   133
 
379d51ef3b71452dac34ba905def3daa8b590f2e isabelle_fonts-20160102.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   134
 
878536aab1eaf1a52da560c20bb41ab942971fa3 isabelle_fonts-20160227.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   135
 
8ff0eedf0191d808ecc58c6b3149a4697f29ab21 isabelle_fonts-20160812-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   136
 
9283e3b0b4c7239f57b18e076ec8bb21021832cb isabelle_fonts-20160812.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   137
 
620cffeb125e198b91a716da116f754d6cc8174b isabelle_fonts-20160830.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   138
 
b70690c85c05d0ca5bc29287abd20142f6ddcfb0 isabelle_fonts-20171222.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   139
 
c17c482e411bbaf992498041a3e1dea80336aaa6 isabelle_fonts-20171230.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   140
 
3affbb306baff37c360319b21cbaa2cc96ebb282 isabelle_fonts-20180113.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   141
 
bee32019e5d7cf096ef2ea1d836c732e9a7628cc isabelle_fonts-20181124.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   142
 
f249bc2c85bd2af9eee509de17187a766b74ab86 isabelle_fonts-20181129.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   143
 
928b5320073d04d93bcc5bc4347b6d01632b9d45 isabelle_fonts-20190210.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   144
 
dfcdf9a757b9dc36cee87f82533b43c58ba84abe isabelle_fonts-20190309.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   145
 
95e3acf038df7fdeeacd8b4769930e6f57bf3692 isabelle_fonts-20190406.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   146
 
dabcf5085d67c99159007007ff0e9bf775e423d1 isabelle_fonts-20190409.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   147
 
76827987c70051719e117138858930d42041f57d isabelle_fonts-20190717.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   148
 
abc8aea3ae471f9313917008ac90e5c1c99e17da isabelle_fonts-20210317.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   149
 
3ff9195aab574fc75ca3b77af0adb33f9b6d7b74 isabelle_fonts-20210318.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   150
 
b166b4bd583b6442a5d75eab06f7adbb66919d6d isabelle_fonts-20210319.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   151
 
9467ad54a9ac10a6e7e8db5458d8d2a5516eba96 isabelle_fonts-20210321.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   152
 
1f7a0b9829ecac6552b21e995ad0f0ac168634f3 isabelle_fonts-20210322.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   153
 
667000ce6dd6ea3c2d11601a41c206060468807d isabelle_fonts-20211004.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   154
 
916adccd2f40c55116b68b92ce1eccb24d4dd9a2 isabelle_setup-20210630.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   155
 
c611e363287fcc9bdd93c33bef85fa4e66cd3f37 isabelle_setup-20210701.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   156
 
a0e7527448ef0f7ce164a38a50dc26e98de3cad6 isabelle_setup-20210709.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   157
 
e413706694b0968245ee15183af2d464814ce0a4 isabelle_setup-20210711.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   158
 
d2c9fd7b73457a460111edd6eb93a133272935fb isabelle_setup-20210715.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   159
 
a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5 isabelle_setup-20210716-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   160
 
79fad009cb22aa5e7cb4aed3c810ad5f61790293 isabelle_setup-20210716.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   161
 
692a39f716998e556ec9559c9ca362fc8fc9d5b6 isabelle_setup-20210717-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   162
 
7322d6d84d75c486a58ed36630431db4499e3232 isabelle_setup-20210717-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   163
 
14f8508bcae9140815bb23e430e26d2cbc504b81 isabelle_setup-20210717.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   164
 
ca801d5c380ea896ee32b309ff19ae5f34538963 isabelle_setup-20210718.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   165
 
ac9739e38e4fbbfce1a71a0987a57b22f83922d3 isabelle_setup-20210724-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   166
 
4554679cc8ea31e539655810a14d14216b383d0e isabelle_setup-20210724-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   167
 
127a75ae33e97480d352087fcb9b47a632d77169 isabelle_setup-20210724.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   168
 
309909ec6d43ae460338e9af54c1b2a48adcb1ec isabelle_setup-20210726.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   169
 
a14ce46c62c64c3413f3cc9239242e33570d0f3d isabelle_setup-20210922.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   170
 
b22066a9dcde6f813352dcf6404ac184440a22df isabelle_setup-20211109.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   171
 
91c5d29e9fa40aee015e8e65ffea043e218c2fc5 isabelle_setup-20220323.tar.gz
75646
a1421c88ae0a provide components for scala3 (still inactive);
wenzelm
parents: 75522
diff changeset 
   172
 
056979bd1c08eb9d0d12cc1118b4ff70bfe2d594 isabelle_setup-20220701.tar.gz
75797
b42e20adaeed proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
wenzelm
parents: 75795
diff changeset 
   173
 
be91402b3e5ef5bc6d4802a45175ee238cd9653e isabelle_setup-20220808.tar.gz
75869
ee2f93fa2440 proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
wenzelm
parents: 75797
diff changeset 
   174
 
171df3eb58bdac4cc495f773b797fa578f7d4be6 isabelle_setup-20220817.tar.gz
76345
ea79c21bcc47 more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
wenzelm
parents: 76334
diff changeset 
   175
 
7b1ce9bd85e33076fa7022eeb66ce15915d078d9 isabelle_setup-20221020.tar.gz
76385
5ca3391244a3 proper Java syntax (amending ea79c21bcc47);
wenzelm
parents: 76373
diff changeset 
   176
 
cb9f061ccd7c6f90d00c8aa115aeea8679f3f996 isabelle_setup-20221028.tar.gz
77203
775baca8cc8a clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;
wenzelm
parents: 77193
diff changeset 
   177
 
f582c621471583d06e00007c6acc01376c7395af isabelle_setup-20230206.tar.gz
78683
cde40295ffd6 clarified signature;
wenzelm
parents: 78643
diff changeset 
   178
 
d30109fe63cec35c31cee9ffd17ae3a13c1e6a33 isabelle_setup-20230922.tar.gz
80033
71d005ffa9fe remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
wenzelm
parents: 80029
diff changeset 
   179
 
cd92c141883f0f6a18adceb885316c8b6119e648 isabelle_setup-20240327.tar.gz
78828
032b6186fddc build javamail component and add to main components;
Fabian Huch <huch@in.tum.de>
parents: 78826
diff changeset 
   180
 
f23037b322b968c61350f9ec9995a4f397e6c71c javamail-1.4.7.tar.gz
79443
0d7c7fe65638 update javamail component with current jakarta mail APIs and eclipse angus implementation;
Fabian Huch <huch@in.tum.de>
parents: 79013
diff changeset 
   181
 
18e6b60ceb98e327fbf14e52f4613dd5b0483d2f javamail-20240109.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   182
 
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   183
 
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   184
 
3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   185
 
06ac8993b5bebd02c70f1bd18ce13075f01115f3 jdk-11.0.3+7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   186
 
e7e3cc9b0550c1e5d71197ad8c30f92b622d7183 jdk-11.0.4+11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   187
 
49007a84a2643a204ce4406770dfd574b97880d9 jdk-11.0.5+10.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   188
 
3c250e98eb82f98afc6744ddc9170d293f0677e1 jdk-11.0.6+10.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   189
 
76cf7a141e15db30bd975089c65c833b58092aa7 jdk-11.0.9+11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   190
 
71d19df63816e9be1c4c5eb44aea7a44cfadb319 jdk-11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   191
 
72455a2fdb6cced9cd563f4d5d6134f7a6c34913 jdk-15.0.1+9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   192
 
e8ae300e61b0b121018456d50010b555bc96ce10 jdk-15.0.2+7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   193
 
a426a32ad34014953c0f7d4cc6f44199572e1c38 jdk-17+35.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   194
 
85707cfe369d0d32accbe3d96a0730c87e8639b5 jdk-17.0.1+12.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   195
 
699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
76174
c8ab2316e3cb update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
wenzelm
parents: 76102
diff changeset 
   196
 
260f5e03e8fc7185f7987a6d2961a23abdce6a0b jdk-17.0.4.1+1.tar.gz
76535
f3ebb16b5785 update to jdk-17.0.5 (Oct-2022);
wenzelm
parents: 76508
diff changeset 
   197
 
8f417fcbe5d0fef3a958aeb9740499230aa00046 jdk-17.0.5.tar.gz
77047
39f8051f71d4 update to jdk-17.0.6;
wenzelm
parents: 76545
diff changeset 
   198
 
e904e85d0b5f6552344aa385c90f3ca528dc3514 jdk-17.0.6.tar.gz
78011
896e255d4fc4 updated to jdk-17.0.7;
wenzelm
parents: 77764
diff changeset 
   199
 
ee31c8ac65d5828d8c426fa3eedeb467cfa497ab jdk-17.0.7.tar.gz
79013
4fb5e6499da9 update to jdk-21.0.1;
wenzelm
parents: 79012
diff changeset 
   200
 
d4b43d1be10c9cffb406faeb36e9d46027834980 jdk-21.0.1.tar.gz
79528
667cb8b79909 update to jdk-21.0.2;
wenzelm
parents: 79507
diff changeset 
   201
 
94f27b086cf6a2fb305cc961fe2932d8ea3634af jdk-21.0.2.tar.gz
80131
68fc6839679e update to jdk-21.0.3;
wenzelm
parents: 80075
diff changeset 
   202
 
c4e05634d371a305c982b6ce5478df42fd1ad9c5 jdk-21.0.3.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   203
 
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   204
 
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   205
 
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   206
 
13a265e4b706ece26fdfa6fc9f4a3dd1366016d2 jdk-7u21.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   207
 
5080274f8721a18111a7f614793afe6c88726739 jdk-7u25.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   208
 
dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c jdk-7u40.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   209
 
ec740ee9ffd43551ddf1e5b91641405116af6291 jdk-7u6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   210
 
71b629b2ce83dbb69967c4785530afce1bec3809 jdk-7u60.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   211
 
e119f4cbfa2a39a53b9578d165d0dc44b59527b7 jdk-7u65.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   212
 
d6d1c42989433839fe64f34eb77298ef6627aed4 jdk-7u67.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   213
 
b66039bc6dc2bdb2992133743005e1e4fc58ae24 jdk-7u72.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   214
 
d980055694ddfae430ee001c7ee877d535e97252 jdk-7u76.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   215
 
baa6de37bb6f7a104ce5fe6506bca3d2572d601a jdk-7u80.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   216
 
7d5b152ac70f720bb9e783fa45ecadcf95069584 jdk-7u9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   217
 
baf275a68d3f799a841932e4e9a95a1a604058ae jdk-8u102.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   218
 
5442f1015a0657259be0590b04572cd933431df7 jdk-8u11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   219
 
741de6a4a805a0f9fb917d1845409e99346c2747 jdk-8u112.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   220
 
ae7df8bd0c18eb40237cf54cc28933f4893b9c92 jdk-8u121.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   221
 
51531a3a0c16e180ed95cb7d2bd680c2ec0aa553 jdk-8u131.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   222
 
e45edcf184f608d6f4a7b966d65a5d3289462693 jdk-8u144.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   223
 
264e806b9300a4fb3b6e15ba0e2c664d4ea698c8 jdk-8u152.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   224
 
84b04d877a2ea3a4e2082297b540e14f76722bc5 jdk-8u162.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   225
 
87303a0de3fd595aa3857c8f7cececa036d6ed18 jdk-8u172.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   226
 
9ae0338a5277d8749b4b4c7e65fc627319d98b27 jdk-8u181.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   227
 
cfecb1383faaf027ffbabfcd77a0b6a6521e0969 jdk-8u20.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   228
 
44ffeeae219782d40ce6822b580e608e72fd4c76 jdk-8u31.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   229
 
c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4 jdk-8u5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   230
 
4132cf52d5025bf330d53b96a5c6466fef432377 jdk-8u51.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   231
 
74df343671deba03be7caa49de217d78b693f817 jdk-8u60.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   232
 
dfb087bd64c3e5da79430e0ba706b9abc559c090 jdk-8u66.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   233
 
2ac389babd15aa5ddd1a424c1509e1c459e6fbb1 jdk-8u72.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   234
 
caa0cf65481b6207f66437576643f41dabae3c83 jdk-8u92.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   235
 
778fd85c827ec49d2d658a832d20e63916186b0d jedit-20210715.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   236
 
beb99f2cb0bd4e595c5c597d3970c46aa21616e4 jedit-20210717.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   237
 
33dd96cd83f2c6a26c035b7a0ee57624655224c5 jedit-20210724.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   238
 
0e4fd4d66388ddc760fa5fbd8d4a9a3b77cf59c7 jedit-20210802.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   239
 
258d527819583d740a3aa52dfef630eed389f8c6 jedit-20211019.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   240
 
f4f3fcbd54488297a5d2fcd23a2595912d5ba80b jedit-20211103.tar.gz
79012
b6bca0666c38 rebuild jedit with minimal patch for jdk-21, following SVN 25690;
wenzelm
parents: 78828
diff changeset 
   241
 
7fc9df033ec6b49dc1dad85eb240ab4f80653aa3 jedit-20231120.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   242
 
44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   243
 
a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   244
 
4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   245
 
9c221fe71af8a063fcffcce21672a97aea0a8d5b jedit_build-20120313.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   246
 
ed72630f307729df08fdedb095f0af8725f81b9c jedit_build-20120327.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   247
 
6425f622625024c1de27f3730d6811f6370a19cd jedit_build-20120414.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   248
 
7b012f725ec1cc102dc259df178d511cc7890bba jedit_build-20120813.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   249
 
8e1d36f5071e3def2cb281f7fefe9f52352cb88f jedit_build-20120903.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   250
 
8fa0c67f59beba369ab836562eed4e56382f672a jedit_build-20121201.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   251
 
06e9be2627ebb95c45a9bcfa025d2eeef086b408 jedit_build-20130104.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   252
 
c85c0829b8170f25aa65ec6852f505ce2a50639b jedit_build-20130628.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   253
 
5de3e399be2507f684b49dfd13da45228214bbe4 jedit_build-20130905.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   254
 
87136818fd5528d97288f5b06bd30c787229eb0d jedit_build-20130910.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   255
 
c63189cbe39eb8104235a0928f579d9523de78a9 jedit_build-20130925.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   256
 
65cc13054be20d3a60474d406797c32a976d7db7 jedit_build-20130926.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   257
 
30ca171f745adf12b65c798c660ac77f9c0f9b4b jedit_build-20131106.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   258
 
054c1300128f8abd0f46a3e92c756ccdb96ff2af jedit_build-20140405.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   259
 
4a963665537ea66c69de4d761846541ebdbf69f2 jedit_build-20140511.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   260
 
a9d637a30f6a87a3583f265da51e63e3619cff52 jedit_build-20140722.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   261
 
f29391c53d85715f8454e1aaa304fbccc352928f jedit_build-20141018.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   262
 
d7206d4c9d14d3f4c8115422b7391ffbcc6e80b4 jedit_build-20141026.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   263
 
f15d36abc1780875a46b6dbd4568e43b776d5db6 jedit_build-20141104.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   264
 
14ce124c897abfa23713928dc034d6ef0e1c5031 jedit_build-20150228.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   265
 
b5f7115384c167559211768eb5fe98138864473b jedit_build-20151023.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   266
 
8ba7b6791be788f316427cdcd805daeaa6935190 jedit_build-20151124.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   267
 
c70c5a6c565d435a09a8639f8afd3de360708e1c jedit_build-20160330.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   268
 
d4e1496c257659cf15458d718f4663cdd95a404e jedit_build-20161024.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   269
 
d806c1c26b571b5b4ef05ea11e8b9cf936518e06 jedit_build-20170319.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   270
 
7bcb202e13358dd750e964b2f747664428b5d8b3 jedit_build-20180417.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   271
 
23c8a05687d05a6937f7d600ac3aa19e3ce59c9c jedit_build-20180504.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   272
 
9c64ee0705e5284b507ca527196081979d689519 jedit_build-20181025.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   273
 
cfa65bf8720b9b798ffa0986bafbc8437f44f758 jedit_build-20181026.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   274
 
847492b75b38468268f9ea424d27d53f2d95cef4 jedit_build-20181203.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   275
 
536a38ed527115b4bf2545a2137ec57b6ffad718 jedit_build-20190120.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   276
 
58b9f03e5ec0b85f8123c31f5d8092dae5803773 jedit_build-20190130.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   277
 
ec0aded5f2655e2de8bc4427106729e797584f2f jedit_build-20190224.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   278
 
1e53598a02ec8d8736b15f480cbe2c84767a7827 jedit_build-20190508.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   279
 
b9c6f49d3f6ebe2e85a50595ce7412d01a4314ac jedit_build-20190717.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   280
 
1c753beb93e92e95e99e8ead23a68346bd1af44a jedit_build-20200610.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   281
 
533b1ee6459f59bcbe4f09e214ad2cb990fb6952 jedit_build-20200908.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   282
 
f9966b5ed26740bb5b8bddbfe947fcefaea43d4d jedit_build-20201223.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   283
 
0bdbd36eda5992396e9c6b66aa24259d4dd7559c jedit_build-20210201.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   284
 
a0744f1948abdde4bfb51dd4769b619e7444baf1 jedit_build-20210510-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   285
 
837d6c8f72ecb21ad59a2544c69aadc9f05684c6 jedit_build-20210510.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   286
 
7bdae3d24b10261f6cb277446cf9ecab6062bd6f jedit_build-20210708.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   287
 
0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa jfreechart-1.0.14-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   288
 
8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   289
 
d911f63a5c9b4c7335bb73f805cb1711ce017a84 jfreechart-1.5.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   290
 
d84b7d8ef273afec55284327fca7dd20f5ecb77a jfreechart-1.5.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   291
 
6fa0c221ef55919b684449f0111a8112358e94ff jfreechart-1.5.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   292
 
c8a19a36adf6cefa779d85f22ded2f4654e68ea5 jortho-1.0-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   293
 
2155e0bdbd29cd3d2905454de2e7203b9661d239 jortho-1.0-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   294
 
ffe179867cf5ffaabbb6bb096db9bdc0d7110065 jortho-1.0.tar.gz
77619
6d0985955872 discontinued apache-commons in favour of jsoup, which is smaller and more useful;
wenzelm
parents: 77593
diff changeset 
   295
 
df8bb213d39a7eecae97e6af3b11752d6c704c90 jsoup-1.15.4.tar.gz
79958
6c4e20a02ac7 update to jsoup-1.17.2;
wenzelm
parents: 79954
diff changeset 
   296
 
b1c8e2a289e40cbc139a3c371348cef3b537b1c7 jsoup-1.17.2.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   297
 
6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   298
 
afb04f4048a87bb888fe7b05b0139cb060c7925b kodkodi-1.5.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   299
 
5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   300
 
0634a946b216f7f07f1a0f7e28cf345daa28828f kodkodi-1.5.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   301
 
52e95b3493d71902f9df89d0bb59d0046a5f0c63 kodkodi-1.5.4-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   302
 
267189c637de26cf304d699cfa95389da002b250 kodkodi-1.5.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   303
 
3ecdade953bb455ed2907952be287d7e5cf6533b kodkodi-1.5.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   304
 
8aa939f5127290eb9a99952d375be9ffbf90c43b kodkodi-1.5.6-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   305
 
6b12bf3f40b16fae8ff22aa39171fa018d107cb3 kodkodi-1.5.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   306
 
c8b2e632f3ab959a4e037833a45e6360c8b72a99 kodkodi-1.5.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   307
 
377e36efb8608e6c828c7718d890e97fde2006a4 linux_app-20131007.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   308
 
759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   309
 
1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
76395
fac28b6c37e8 support for Dagstuhl LIPIcs style with demo document;
wenzelm
parents: 76385
diff changeset 
   310
 
5557b396f5a9aa22388d3e2171f9bc58e4bd6cd7 lipics-3.1.2.tar.gz
78289
b86be4a9f532 publish component;
wenzelm
parents: 78287
diff changeset 
   311
 
881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
76443
8dbb0b2f6576 support for Springer LLNCS with demo document;
wenzelm
parents: 76399
diff changeset 
   312
 
71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
79505
a94a512c5e7a update to llncs-2.23;
wenzelm
parents: 79443
diff changeset 
   313
 
29aa7179fbd02c528ac61df6e2e8512175093e35 llncs-2.23.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   314
 
0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   315
 
ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   316
 
400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   317
 
3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   318
 
5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   319
 
ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
76186
5f3983c42324 proper platform directory x86_64-linux, to have it purged for other platforms;
wenzelm
parents: 76185
diff changeset 
   320
 
59aa13f48685326995714cc6028aebb789e445e3 mlton-20210117-1.tar.gz
79951
84f2d481d6d7 update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
wenzelm
parents: 79782
diff changeset 
   321
 
7624509ba58b9b8231626a66eda571fba69f7cd3 mlton-20210117-2.tar.gz
79961
2b9205301ff5 suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
wenzelm
parents: 79960
diff changeset 
   322
 
2d8c08fc623e7643a10ee031c7e9e7cb7c01d53a mlton-20210117-3.tar.gz
76185
6259a90da890 MLton component for x86_64-linux;
wenzelm
parents: 76176
diff changeset 
   323
 
5d48b7163a68c18b691bedc1511364b0b103baeb mlton-20210117.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   324
 
eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   325
 
edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   326
 
d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   327
 
810ee0f35adada9bf970c33fd80b986ab2255bf3 naproche-20210201.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   328
 
37bb6d934cfaf157efcadb349a0244d145ce15b0 naproche-20211211.tar.gz
75795
9e5e6e3c83d1 provide naproche-20220808 (inactive);
wenzelm
parents: 75708
diff changeset 
   329
 
5a8a59132476ae75cfddefc98781db55f18ed82c naproche-20220808.tar.gz
76102
f51e9da996a3 provide naproche-20220910 (inactive);
wenzelm
parents: 76101
diff changeset 
   330
 
516b3714e56b708bc291bb0a592ea89de39ac894 naproche-20220910.tar.gz
76189
778152d51e97 inplace update: proper Linux version;
wenzelm
parents: 76188
diff changeset 
   331
 
c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
76238
2a052820523d provide naproche-20221002;
wenzelm
parents: 76189
diff changeset 
   332
 
0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
76334
561d501598f2 update naproche component;
wenzelm
parents: 76332
diff changeset 
   333
 
48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
76369
b879d2280a7f updated to naproche-20221024: minor changes to documentation;
wenzelm
parents: 76345
diff changeset 
   334
 
c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz
78308
1d041311dc67 updated naproche-20230711 component for release;
wenzelm
parents: 78304
diff changeset 
   335
 
8e6cb32312336abcfe488b718bdc621461a7f132 naproche-20230711.tar.gz
78630
93756069b867 updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
wenzelm
parents: 78483
diff changeset 
   336
 
3a310253f003f1759b575823f2a2e116ff6edeac naproche-20230902.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   337
 
d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   338
 
4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   339
 
77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   340
 
9c02ecf93863c3289002c5e5ac45a83e2505984c naproche-755224402e36.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   341
 
e1b34e8f54e7e5844873612635444fed434718a1 naproche-7d0947a91dd5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   342
 
26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   343
 
e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   344
 
3d7b7690dfd09e25ad56e64b519f61f06e3ab706 old_vampire-4.2.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   345
 
fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   346
 
eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba opam-2.0.3-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   347
 
002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   348
 
ddb3b438430d9565adbf5e3d913bd52af8337511 opam-2.0.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   349
 
fc66802c169f44511d3be30435eb89a11e635742 opam-2.0.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   350
 
108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   351
 
f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
75706
f719bbee1721 updated to pdfjs-2.14.305;
wenzelm
parents: 75646
diff changeset 
   352
 
aa7fc4a3d2cbd6c8744ddfeefd863828ea602bcd pdfjs-2.14.305.tar.gz
78483
5683e49f7884 update to polyml-219e0a248f70, with more robust support for ARM64;
wenzelm
parents: 78312
diff changeset 
   353
 
1b01278595b6dbd5c867dc55407b1ac705bc43b8 polyml-219e0a248f70.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   354
 
1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   355
 
a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   356
 
7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   357
 
b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd polyml-5.5.0-3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   358
 
1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   359
 
36f5b8224f484721749682a3655c796a55a2718d polyml-5.5.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   360
 
36f78f27291a9ceb13bf1120b62a45625afd44a6 polyml-5.5.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   361
 
a588640dbf5da9ae15455b02ef709764a48637dc polyml-5.5.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   362
 
4b690390946f7bfb777b89eb16d6f08987cca12f polyml-5.5.2-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   363
 
5b31ad8556e41dfd6d5e85f407818be399aa3d2a polyml-5.5.2-3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   364
 
532f6e8814752aeb406c62fabcfd2cc05f8a7ca8 polyml-5.5.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   365
 
1c53f699d35c0db6c7cf4ea51f2310adbd1d0dc5 polyml-5.5.3-20150820.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   366
 
b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a polyml-5.5.3-20150908.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   367
 
b668e1f43a41608a8eb365c5e19db6c54c72748a polyml-5.5.3-20150911.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   368
 
1f5cd9b1390dab13861f90dfc06d4180cc107587 polyml-5.5.3-20150916.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   369
 
f78896e588e8ebb4da57bf0c95210b0f0fa9e551 polyml-5.6-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   370
 
21fa0592b7dfd23269063f42604438165630c0f0 polyml-5.6-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   371
 
03ba81e595fa6d6df069532d67ad3195c37d9046 polyml-5.6-20151123.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   372
 
822f489c18e38ce5ef979ec21dccce4473e09be6 polyml-5.6-20151206.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   373
 
bd6a448f0e0d5787747f4f30ca661f9c1868e4a7 polyml-5.6-20151223.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   374
 
5b70c12c95a90d858f90c1945011289944ea8e17 polyml-5.6-20160118.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   375
 
5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   376
 
80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   377
 
381a70cecf0fdee47f6842e2bdb5107ed52adab6 polyml-5.7.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   378
 
39dac33b569ac66f76126b8f4edc6d9227bd8a63 polyml-5.7.1-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   379
 
0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68 polyml-5.7.1-4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   380
 
262450ac9966abebae2e1d4f9ae703cfe0f5d8d9 polyml-5.7.1-5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   381
 
1aeb57877d694db7fe4d4395287cddf3bc77710b polyml-5.7.1-6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   382
 
e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6 polyml-5.7.1-7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   383
 
1430533c09b17f8be73798a47a5f409d43a04cf4 polyml-5.7.1-8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   384
 
171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   385
 
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   386
 
51e024225b460900da5279f0b91b217085f98cf9 polyml-5.8-20190220.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   387
 
20a83fa58d497b533150defe39bcd4540529b25f polyml-5.8-20190306.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   388
 
9f0e9cd10df4c3383b063eb076e8b698ca50c3d0 polyml-5.8.1-20191101.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   389
 
f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   390
 
36a40a981b57daae0463d14940a8edf6fa1af179 polyml-5.8.1-20191114.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   391
 
525b05536b08c11a1eae943fe6818a8622326084 polyml-5.8.1-20191124.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   392
 
9043828803483ca14df64488dff014ad050a6d34 polyml-5.8.1-20200228.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   393
 
1186607e2c43b77db86731f12fbedb531ca50a21 polyml-5.8.1-20200708.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   394
 
22ae16bf7850e73b903d2ca8eb506da05b441cf3 polyml-5.8.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   395
 
cb8e85387315f62dcfc6b21ec378186e58068f76 polyml-5.8.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   396
 
d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   397
 
fb40145228f84513a9b083b54678a7d61b9c34c4 polyml-5.9-5d4caa8f7148.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   398
 
0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   399
 
5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   400
 
7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
78776
62b64f168c31 updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
wenzelm
parents: 78747
diff changeset 
   401
 
d0327534d5f3014f3faa2a40830a9ce1db953fef polyml-5.9.1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   402
 
0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
77193
014c3d00e0f1 update to polyml-5e9c8155ea96, which is more robust on arm64;
wenzelm
parents: 77181
diff changeset 
   403
 
f399ab9ee4a586fddeb6e73ca3605af65a89f969 polyml-5e9c8155ea96.tar.gz
78051
0912b519c5db update to polyml-a5d5fba90286, with more robust ML_Heap.sizeof;
wenzelm
parents: 78011
diff changeset 
   404
 
2cea4dd48bb8b171bc04c9793a55c7fa4c2d96f1 polyml-a5d5fba90286.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   405
 
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   406
 
2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   407
 
8e83fb5088cf265902b8da753a8eac5fe3f6a14b polyml-test-159dc81efc3b.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   408
 
b80c17398293d0c8f8d9923427176efb33cf2d89 polyml-test-15c840d48c9a.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   409
 
a0064c157a59e2706e18512a49a6dca914fa17fc polyml-test-1b2dcf8f5202.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   410
 
4e6543dbbb2b2aa402fd61428e1c045c48f18b47 polyml-test-79534495ee94.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   411
 
853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   412
 
85bfda83d138e936fdafd68ed3627b1058e5c2c3 polyml-test-7e49fce62e3d.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   413
 
c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   414
 
7df4857d73dbc9edda25a6ad329e47639e70fadf polyml-test-8fda4fd22441.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   415
 
2b7c02b67feb2f44dda6938a7244f4257e7c580c polyml-test-905dae2ebfda.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   416
 
3dfdc58e5d9b28f038a725e05c9c2f2ce0bb2632 polyml-test-a3cfdf648da-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   417
 
e2f075b0cc709f4f7f6492b725362f9010b2c6d1 polyml-test-a3cfdf648da-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   418
 
33568f69ce813b7405386ddbefa14ad0342bb8f0 polyml-test-a3cfdf648da.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   419
 
4bedaac4f1fb9a9199aa63695735063c47059003 polyml-test-a444f281ccec.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   420
 
f3031692edcc5d8028a42861e4e40779f0f9d3e1 polyml-test-b68438d33c69.tar.gz
76266
0b2fcf0c61db update components.sha1;
wenzelm
parents: 76239
diff changeset 
   421
 
b2901b604124cfe46a6c28041f47c5a3bd3673f0 polyml-test-bafe319bc3a6-1.tar.gz
0b2fcf0c61db update components.sha1;
wenzelm
parents: 76239
diff changeset 
   422
 
3ac7e916832c07accebeada9a81b301c299e1930 polyml-test-bafe319bc3a6.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   423
 
cb2318cff6ea9293cd16a4435a4fe28ad9dbe0b8 polyml-test-cf46747fee61.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   424
 
67ffed2f98864721bdb1e87f0ef250e4c69e6160 polyml-test-d68c6736402e.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   425
 
b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   426
 
609c7d09d3ed01156ff91261e801e2403ff93729 polyml-test-e8d82343b692.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   427
 
b6d87466e9b44e8ef4a2fac74c96b139080a506a polyml-test-f54aa41240d0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   428
 
d365f3fc11c2427cafc62b3c79951880a1476ebb polyml-test-f86ae3dc1686.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   429
 
a619177143fea42a464f49bb864665407c07a16c polyml-test-fb4f42af00fa.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   430
 
53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   431
 
3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   432
 
7d6ef4320d5163ceb052eb83c1cb3968f099a422 postgresql-42.2.18.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   433
 
e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40 postgresql-42.2.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   434
 
1aaa38429dc9aa7b1095394d9a7ba3465f8d6e04 postgresql-42.2.24.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   435
 
231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   436
 
6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
75708
0caf8528b07b updated to postgresql-42.4.0;
wenzelm
parents: 75707
diff changeset 
   437
 
f84c7ecafb07a0d763f1d70edc54f7c43c2e8c63 postgresql-42.4.0.tar.gz
76076
6508c21734f1 updated to postgresql-42.5.0;
wenzelm
parents: 76028
diff changeset 
   438
 
143d0d32a13d7d8e15b9bab866e14ad4308a6246 postgresql-42.5.0.tar.gz
78146
5faedbc01c07 updated to postgresql-42.6.0;
wenzelm
parents: 78125
diff changeset 
   439
 
36a6e17794a93070278ac590650870ab73e6a7fb postgresql-42.6.0.tar.gz
79507
928b58ef9599 updated to postgresql-42.7.1;
wenzelm
parents: 79506
diff changeset 
   440
 
65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
79952
a2b06af75d3b update to postgresql-42.7.3;
wenzelm
parents: 79951
diff changeset 
   441
 
459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   442
 
f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
76508
ecb9e6d29698 support for the Prism.js syntax highlighter -- via external Node.js process;
wenzelm
parents: 76478
diff changeset 
   443
 
3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
75522
e1b0a53328fd provide python-3.10.4 for darwin and linux;
Fabian Huch <huch@in.tum.de>
parents: 75521
diff changeset 
   444
 
f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
80051
9cdc4f533b91 rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
wenzelm
parents: 80033
diff changeset 
   445
 
31d84d632faa216b8f9abf8e8591695e467fbb24 rsync-3.2.7-1.tar.gz
77764
44a6ac96314d provide rsync component, with uniform version + options on all platforms;
wenzelm
parents: 77619
diff changeset 
   446
 
d144120b7cf2d2b3106632af0b98c78278c467d7 rsync-3.2.7.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   447
 
0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   448
 
f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc scala-2.10.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   449
 
207e4916336335386589c918c5e3f3dcc14698f2 scala-2.10.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   450
 
21c8ee274ffa471ab54d4196ecd827bf3d43e591 scala-2.10.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   451
 
d4688ddaf83037ca43b5bf271325fc53ae70e3aa scala-2.10.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   452
 
44d12297a78988ffd34363535e6a8e0d94c1d8b5 scala-2.11.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   453
 
14f20de82b25215a5e055631fb147356400625e6 scala-2.11.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   454
 
4fe9590d08e55760b86755d3fab750e90ac6c380 scala-2.11.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   455
 
27a296495b2167148de06314ed9a942f2dbe23fe scala-2.11.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   456
 
4b24326541161ce65424293ca9da3e7c2c6ab452 scala-2.11.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   457
 
e7cf20e3b27c894c6127c7a37042c1667f57385e scala-2.11.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   458
 
4810c1b00719115df235be1c5991aa6ea7186134 scala-2.11.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   459
 
3eca4b80710996fff87ed1340dcea2c5f6ebf4f7 scala-2.11.8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   460
 
0004e53f885fb165b50c95686dec40d99ab0bdbd scala-2.12.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   461
 
059cbdc58d36e3ac1fffcccd9139ecd34f271882 scala-2.12.10.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   462
 
82056106aa6fd37c159ea76d16096c20a749cccd scala-2.12.11.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   463
 
fe7ff585acffaad7f0dd4a1d079134d15c26ed0d scala-2.12.12.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   464
 
74a8c3dab3a25a87357996ab3e95d825dc820fd0 scala-2.12.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   465
 
d66796a68ec3254b46b17b1f8ee5bcc56a93aacf scala-2.12.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   466
 
1636556167dff2c191baf502c23f12e09181ef78 scala-2.12.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   467
 
8171f494bba54fb0d01c887f889ab8fde7171c2a scala-2.12.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   468
 
54c1b06fa2c5f6c2ab3d391ef342c0532cd7f392 scala-2.12.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   469
 
02358f00acc138371324b6248fdb62eed791c6bd scala-2.12.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   470
 
201c05ae9cc382ee6c08af49430e426f6bbe0d5a scala-2.12.8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   471
 
a0622fe75c3482ba7dc3ce74d58583b648a1ff0d scala-2.13.4-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   472
 
ec53cce3c5edda1145ec5d13924a5f9418995c15 scala-2.13.4.tar.gz
75384
20093a63d03b updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
wenzelm
parents: 75350
diff changeset 
   473
 
caedd48ae65db9d116a0e1712eec3a66fe95c712 scala-2.13.5-1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   474
 
f51981baf34c020ad103b262f81796c37abcaa4a scala-2.13.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   475
 
0a7cab09dec357dab7819273f2542ff1c3ea0968 scala-2.13.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   476
 
1f8532dba290c6b2ef364632f3f92e71da93baba scala-2.13.7.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   477
 
b447017e81600cc5e30dd61b5d4962f6da01aa80 scala-2.8.1.final.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   478
 
5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
75646
a1421c88ae0a provide components for scala3 (still inactive);
wenzelm
parents: 75522
diff changeset 
   479
 
97c5b73011f4d6438b616e5940e6d759034f5414 scala-3.1.3.tar.gz
76327
f70b015e4ac1 allow spaces in SCALA_HOME directory name;
wenzelm
parents: 76239
diff changeset 
   480
 
87c8e53100df4bc85cd8d4f55028088646d70fb4 scala-3.2.0-1.tar.gz
76332
8b4108f41c77 rebuild with proper Isabelle version;
wenzelm
parents: 76331
diff changeset 
   481
 
c58db22b9e1e90f5b7a3f5edd8bdb4ddab4947fd scala-3.2.0-2.tar.gz
76176
d6bd84eb94a3 update to scala-3.2.0;
wenzelm
parents: 76174
diff changeset 
   482
 
7677b02fe06c992ca6cf82bf68adb16287294256 scala-3.2.0.tar.gz
76537
cdbe20024038 update to scala-3.2.1;
wenzelm
parents: 76535
diff changeset 
   483
 
bee1c9416a086e553057171e5cb571271ed02c60 scala-3.2.1.tar.gz
78125
96e2c2bbacbd provide scala-3.3.0;
wenzelm
parents: 78051
diff changeset 
   484
 
989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
79753
a66588206ec5 update to scala-3.3.3;
wenzelm
parents: 79752
diff changeset 
   485
 
347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
80063
588ea80f16bb provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
wenzelm
parents: 80051
diff changeset 
   486
 
bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   487
 
abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   488
 
cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   489
 
edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   490
 
43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
79954
475074795dca update to sqlite-3.45.2.0: clarified component name, following postgresql;
wenzelm
parents: 79952
diff changeset 
   491
 
24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   492
 
b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   493
 
b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   494
 
e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   495
 
27aeac6a91353d69f0438837798ac4ae6f9ff8c5 sqlite-jdbc-3.23.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   496
 
4d17611857fa3a93944c1f159c0fd2a161967aaf sqlite-jdbc-3.27.2.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   497
 
806be457eb79408fcc5a72aeca3f64b2d89a6b63 sqlite-jdbc-3.30.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   498
 
cba2b194114216b226d75d49a70d1bd12b141ac8 sqlite-jdbc-3.32.3.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   499
 
29306acd6ce9f4c87032b2c271c6df035fe7d4d3 sqlite-jdbc-3.34.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   500
 
8a2ca4d02cfedbfe4dad4490f1ed3ddba33a009a sqlite-jdbc-3.36.0.3.tar.gz
76545
cee207c2ddec updated to sqlite-jdbc-3.39.4.1;
wenzelm
parents: 76537
diff changeset 
   501
 
d2c707638b08ad56469b92dc2941d403efbb3394 sqlite-jdbc-3.39.4.1.tar.gz
77593
08ed864fed24 updated to sqlite-jdbc-3.41.0.0;
wenzelm
parents: 77208
diff changeset 
   502
 
12cb90b265bc2308858c63f00d5ecbfb80603dbd sqlite-jdbc-3.41.0.0.tar.gz
78303
3ef8313d0252 proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
wenzelm
parents: 78302
diff changeset 
   503
 
68b1b61cffb1e6d4f5821cd6c3bebf2a74af6a97 sqlite-jdbc-3.42.0.0-1.tar.gz
78287
a915e15af0d9 update to current sqlite-jdbc-3.42.0.0;
wenzelm
parents: 78285
diff changeset 
   504
 
3535a04b8612cb1d98f0f7e41a0668e41667ec8b sqlite-jdbc-3.42.0.0.tar.gz
79506
dcddfe4f43a3 updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;
wenzelm
parents: 79505
diff changeset 
   505
 
9b223d9453d654500616922231a7850fc927dcb7 sqlite-jdbc-3.45.0.0.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   506
 
8d20968603f45a2c640081df1ace6a8b0527452a sqlite-jdbc-3.8.11.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   507
 
2369f06e8d095f9ba26df938b1a96000e535afff ssh-java-20161009.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   508
 
a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   509
 
fdc415284e031ee3eb2f65828cbc6945736fe995 stack-1.9.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   510
 
6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   511
 
f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
78780
a611bbfeb9cd updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
wenzelm
parents: 78776
diff changeset 
   512
 
423df2c437f7cceac1d269da8e379507feb246ef stack-2.13.1.tar.gz
79740
ea1913c953ef updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
wenzelm
parents: 79580
diff changeset 
   513
 
fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
79991
99511fa536a1 update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
wenzelm
parents: 79961
diff changeset 
   514
 
6fd65aac9147ba93fa3356fa629f6911d82d767b stack-2.15.3.tar.gz
80075
09e9819beef6 update to stack-2.15.5, stackage-lts-22.15;
wenzelm
parents: 80063
diff changeset 
   515
 
937a061f638823805ebc561b22465198f0ff1670 stack-2.15.5.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   516
 
ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   517
 
fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.tar.gz
78302
27521a4779bd update to stack-2.9.3 with support for arm64-linux;
wenzelm
parents: 78289
diff changeset 
   518
 
18437bc9abd5b95be31a96f7c15a85a3ebf466cf stack-2.9.3.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   519
 
1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd sumatra_pdf-2.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   520
 
601e08d048d8e50b0729429c8928b667d9b6bde9 sumatra_pdf-2.3.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   521
 
14d46c2eb1a34821703da59d543433f581e91df3 sumatra_pdf-2.4.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   522
 
44d67b6742919ce59a42368fc60e2afa210a3e42 sumatra_pdf-2.5.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   523
 
89719a13bc92810730a430973684629426ed1b2a sumatra_pdf-3.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   524
 
f5afcc82f8e734665d38867e99475d3ad0d5ed15 sumatra_pdf-3.1.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   525
 
a45eca5c1277f42f87bb8dc12a3074ccf5488221 sumatra_pdf-3.1.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   526
 
3b3239b2e6f8062b90d819f3703e30a50f4fa1e7 sumatra_pdf-3.1.2-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   527
 
8486387f61557147ec06b1f637117c017c8f0528 sumatra_pdf-3.1.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   528
 
e8648878f908e93d64a393231ab21fdac976a9c2 sumatra_pdf-3.3.3.tar.gz
75870
2bf1210eeef1 updated to sumatra_pdf-3.4.6;
wenzelm
parents: 75869
diff changeset 
   529
 
25d2004325585fceb0a951181716f77fc4d9d0d4 sumatra_pdf-3.4.6.tar.gz
79960
7747a8efcad0 update to sumatra_pdf-3.5.2;
wenzelm
parents: 79958
diff changeset 
   530
 
20b43515c05ebd8d3ec090a119eff3acf2d912a5 sumatra_pdf-3.5.2.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   531
 
869ea6d8ea35c8ba68d7fcb028f16b2b7064c5fd vampire-1.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   532
 
399f687b56575b93e730f68c91c989cb48aa34d8 vampire-4.2.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   533
 
0402978ca952f08eea73e483b694928ac402a304 vampire-4.5.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   534
 
26d9d171e169c6420a08aa99eda03ef5abb9c545 vampire-4.5.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   535
 
4571c042efd6fc3097e105a528826959acd888a3 vampire-4.6.tar.gz
78826
4183cbe41d24 updated to vampire-4.8;
wenzelm
parents: 78780
diff changeset 
   536
 
150e2744c11582f681433a493aa2a7ab17cd511b vampire-4.8.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   537
 
98c5c79fef7256db9f64c8feea2edef0a789ce46 verit-2016post.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   538
 
52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d verit-2020.10-rmx-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   539
 
b6706e74e20e14038e9b38f0acdb5639a134246a verit-2020.10-rmx.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   540
 
d33e1e36139e86b9e9a48d8b46a6f90d7863a51c verit-2021.06-rmx-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   541
 
c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   542
 
b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
79563
76ad72736e9e rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
wenzelm
parents: 79528
diff changeset 
   543
 
ddfac93c72f79f712a42eb2638b2693d6f9f4692 verit-2021.06.2-rmx-1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   544
 
19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   545
 
c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   546
 
86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
76020
04ce6cf2bd3b update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
wenzelm
parents: 76019
diff changeset 
   547
 
5293b9e77e5c887d449b671828b133fad4f18632 vscode_extension-20220829.tar.gz
77208
a3f67a4459e1 more uniform use of SHA1.Shasum;
wenzelm
parents: 77203
diff changeset 
   548
 
0d9551ffeb968813b6017278fa7ab9bd6062883f vscode_extension-20230206.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   549
 
67b271186631f84efd97246bf85f6d8cfaa5edfd vscodium-1.65.2.tar.gz
76020
04ce6cf2bd3b update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
wenzelm
parents: 76019
diff changeset 
   550
 
c439ab741e0cc49354cc03aa9af501202a5a38e3 vscodium-1.70.1.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   551
 
81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   552
 
fe15e1079cf5ad86f3cbab4553722a0d20002d11 windows_app-20130905.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   553
 
e6a43b7b3b21295853bd2a63b27ea20bd6102f5f windows_app-20130906.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   554
 
8fe004aead867d4c82425afac481142bd3f01fb0 windows_app-20130908.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   555
 
d273abdc7387462f77a127fa43095eed78332b5c windows_app-20130909.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   556
 
c368908584e2bca38b3bcb20431d0c69399fc2f0 windows_app-20131130.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   557
 
c3f5285481a95fde3c1961595b4dd0311ee7ac1f windows_app-20131201.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   558
 
14807afcf69e50d49663d5b48f4b103f30ae842b windows_app-20150821.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   559
 
ed106181510e825bf959025d8e0a2fc3f78e7a3f windows_app-20180417.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   560
 
e809e4ab0d33cb413a7c47dd947e7dbdfcca1c24 windows_app-20181002.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   561
 
9e96ba128a0617a9020a178781df49d48c997e19 windows_app-20181006.tar.gz
79568
1c2d9debe82a proper windows_app/launch4j-linux_arm;
wenzelm
parents: 79563
diff changeset 
   562
 
4883f93efb27ae51fb2cc0e1f52309728f2dc407 windows_app-20240202.tar.gz
79573
0e7dd3eaa6e8 updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
wenzelm
parents: 79568
diff changeset 
   563
 
5269b9e38fe58be10272d6817dbfd08b67b312e7 windows_app-20240204.tar.gz
79580
37e57ac55559 update to windows_app-20240205, with executables for linux, linux_arm, macos;
wenzelm
parents: 79573
diff changeset 
   564
 
94fecdab25ddc52b5afde4ab3f017a3c14c656c8 windows_app-20240205.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   565
 
1c36a840320dfa9bac8af25fc289a4df5ea3eccb xz-java-1.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   566
 
2ae13aa17d0dc95ce254a52f1dba10929763a10d xz-java-1.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   567
 
c22196148fcace5443a933238216cff5112948df xz-java-1.5.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   568
 
4368ee09154dff42666a8c87e072261745619e51 xz-java-1.6.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   569
 
63f5fa09e92a895cb9aea27d7142abc86c487d25 xz-java-1.8.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   570
 
a06875bdadd653627a68d2083c5178c1264d8fc6 xz-java-1.9.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   571
 
4530a1aa6f4498ee3d78d6000fa71a3f63bd077f yices-1.0.28.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   572
 
3a8f77822278fe9250890e357248bc678d8fac95 z3-3.2-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   573
 
12ae71acde43bd7bed1e005c43034b208c0cba4c z3-3.2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   574
 
d94a716502c8503d63952bcb4d4176fac8b28704 z3-4.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   575
 
86e721296c400ada440e4a9ce11b9e845eec9e25 z3-4.3.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   576
 
a8917c31b31c182edeec0aaa48870844960c8a61 z3-4.3.2pre-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   577
 
06b30757ff23aefbc30479785c212685ffd39f4d z3-4.3.2pre.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   578
 
ed37c451b9b748901295898bf713b24d22cc8c17 z3-4.4.0_4.4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   579
 
93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8 z3-4.4.0pre-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   580
 
b1bc411c2083fc01577070b56b94514676f53854 z3-4.4.0pre-2.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   581
 
4c366ab255d2e9343fb635d44d4d55ddd24c76d0 z3-4.4.0pre-3.tar.gz
79755
3066125a7f51 discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
wenzelm
parents: 79753
diff changeset 
   582
 
d735a4450c6c2ead107179e785942aa6d4cc40c4 z3-4.4.0pre-4.tar.gz
75350
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   583
 
517ba7b94c1985416c5b411c8ae84456367eb231 z3-4.4.0pre.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   584
 
6e5d7a65757cac970eb5ad28cd62130c99f42c23 z3-4.4.1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   585
 
aa20745f0b03e606b1a4149598e0c7572b63c657 z3-4.8.3.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   586
 
9dfeb39c87393af7b6a34118507637aa53aca05e zipperposition-2.0-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   587
 
b884c60653002a7811e3b652ae0515e825d98667 zipperposition-2.0.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   588
 
b129ec4f8a4474953ec107536298ee08a01fbebc zipperposition-2.1-1.tar.gz
93943e7e38a4 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm
parents: 75338
diff changeset 
   589
 
5f53a77efb5cbe9d0c95d74a1588cc923bd711a7 zipperposition-2.1.tar.gz
76348
a15f16e8ad18 support for Zstd data compression;
wenzelm
parents: 76346
diff changeset 
   590
 
c101182780aeafbc2e0ea7e8b10b91c6f7483af2 zstd-jni-1.5.2-5.tar.gz
78147
f4221ae7544c updated to zstd-jni-1.5.5-4;
wenzelm
parents: 78146
diff changeset 
   591
 
d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
isabelle