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.
update cygwin component;
authorwenzelm
Tue, 11 Jul 2023 19:31:22 +0200
changeset 78312 006dbc9c2de1
parent 78311 b9d9906716f9
child 78313 7315ee1deaf3
update cygwin component;
Admin/components/bundled-windows file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled-windows	Tue Jul 11 19:26:44 2023 +0200
+++ b/Admin/components/bundled-windows	Tue Jul 11 19:31:22 2023 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20230711
+cygwin-20230711-1
 windows_app-20181006
--- a/Admin/components/components.sha1	Tue Jul 11 19:26:44 2023 +0200
+++ b/Admin/components/components.sha1	Tue Jul 11 19:31:22 2023 +0200
@@ -77,6 +77,7 @@
 66e16dccd7b177c086ab53013c1b74d09c1893ad cygwin-20220831.tar.gz
 6cd34e30e2e650f239d19725c3d15c206fb3a7cf cygwin-20221002.tar.gz
 bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
+fe8c541722f2fd6940f9e9948928b55fbc32d14b cygwin-20230711-1.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
isabelle