Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide rsync component, with uniform version + options on all platforms;
authorwenzelm
Thu, 30 Mar 2023 16:04:02 +0200
changeset 77764 44a6ac96314d
parent 77763 2abc452d0ee9
child 77765 8db468bd1ec6
provide rsync component, with uniform version + options on all platforms;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Mar 30 16:02:25 2023 +0200
+++ b/Admin/components/components.sha1	Thu Mar 30 16:04:02 2023 +0200
@@ -410,6 +410,7 @@
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
+d144120b7cf2d2b3106632af0b98c78278c467d7 rsync-3.2.7.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
 f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc scala-2.10.1.tar.gz
 207e4916336335386589c918c5e3f3dcc14698f2 scala-2.10.2.tar.gz
--- a/Admin/components/main	Thu Mar 30 16:02:25 2023 +0200
+++ b/Admin/components/main	Thu Mar 30 16:04:02 2023 +0200
@@ -28,6 +28,7 @@
 polyml-5e9c8155ea96
 postgresql-42.5.0
 prismjs-1.29.0
+rsync-3.2.7
 scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2
isabelle