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.
follow Phorge 2024 week 35;
authorwenzelm
Sat, 04 Jan 2025 12:51:59 +0100
changeset 81715 04f87dbd0e97
parent 81711 a55b236f9e1d
child 81716 f6c82d6ff862
follow Phorge 2024 week 35;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Fri Jan 03 22:35:28 2025 +0100
+++ b/etc/options	Sat Jan 04 12:51:59 2025 +0100
@@ -408,10 +408,10 @@
 
 section "Phabricator / Phorge"
 
-option phabricator_version_arcanist : string = "7f28d7266f81985096219a11b949561d70f052e4"
+option phabricator_version_arcanist : string = "04e3e250f7da6a55c908d373a0df9949eeea6d7b"
   -- "repository version for arcanist"
 
-option phabricator_version_phabricator : string = "f2a01dca39280d78cc799cd602dc1fc7bc26f165"
+option phabricator_version_phabricator : string = "b02615bd5027ee51ac68d48a0a64306b75285789"
   -- "repository version for phabricator"
isabelle