BaldEagleOS Portage repository https://git.baldeagleos.com/baldeagleos-repo.git/atom/dev-lang/dafny/files?h=develop 2026-06-04T21:47:34Z 2026-06-04T21:47:34Z root root@alpha.trunkmasters.com 2026-06-04T21:47:34Z urn:sha1:dda948891d3731927b821ce31f9d9a2d03ba20c5 2026-06-04T21:24:49Z root root@alpha.trunkmasters.com 2026-06-04T21:24:49Z urn:sha1:a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 2026-06-04T10:48:38Z root root@alpha.trunkmasters.com 2026-06-04T10:48:38Z urn:sha1:bfd9c39e4712ebdb442d4ca0673061faed1e70e1 This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704. 2026-06-04T10:35:26Z root root@alpha.trunkmasters.com 2026-06-04T10:35:26Z urn:sha1:f716a9fe6455d39eef01e718aae68dae61c19704 2026-03-15T07:09:16Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2026-03-15T07:09:16Z urn:sha1:c35c5391a819000e87c6accb64cc9abb848c810d 2025-08-26T18:44:26Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2025-08-26T18:44:26Z urn:sha1:cee0acc9c12bedc910769969d6bc044964b03a5b 2024-05-28T19:07:39Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2024-05-28T19:07:39Z urn:sha1:85c00403852442ad1cf4cbf4ce30fa71f0772f80 2024-03-18T06:44:10Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2024-03-18T06:44:10Z urn:sha1:1aa229319f05f38d4d59b9fdd1cb2d4a1f708525 2024-02-10T18:29:33Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2024-02-10T18:29:33Z urn:sha1:6c244326e747a9140da30e3660976b2925dd1e60 2023-12-13T20:02:53Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2023-12-13T20:02:53Z urn:sha1:c37ec806b228c31f13f049fa3808b0ad3a7fb0a0