BaldEagleOS Portage repository https://git.baldeagleos.com/baldeagleos-repo.git/atom/app-emacs/proofgeneral?h=develop 2026-06-01T02:30:14Z 2026-06-01T02:30:14Z root root@alpha.trunkmasters.com 2026-06-01T02:30:14Z urn:sha1:7d009d2bc561a2df178eac5df75421e4bb4c6b62 2026-05-31T22:23:40Z root root@alpha.trunkmasters.com 2026-05-31T22:23:40Z urn:sha1:f953dc70343485250b836ad157649aaad47ac5bc 2025-03-12T06:53:13Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2025-03-12T06:53:13Z urn:sha1:39a45434e4c1f3e22d2f2d2d8d25314eeb141294 2023-08-14T06:16:12Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2023-08-14T06:16:12Z urn:sha1:2d5e0fb5c768a502d72ac4ee4e094733f0da65ef 2023-08-11T18:15:05Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2023-08-11T18:15:05Z urn:sha1:9b5301bb92ad94bdc782f8c22b794320dd9f8b5e 2023-01-31T08:14:36Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2023-01-31T08:14:36Z urn:sha1:673ab17256bcf635586322e133f96a505997273b 2022-08-16T12:47:45Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2022-08-16T12:47:45Z urn:sha1:597e6778c780c2c177e0e19632584ac9e7ed8fb5 2022-07-14T16:03:24Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2022-07-14T16:03:24Z urn:sha1:8493f164eaf9f2937966dab41eeedce71d37d237 2022-06-02T15:38:53Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2022-06-02T15:38:53Z urn:sha1:49120b96fff4f71fbc2f42728be6ccef6f132293 2022-05-11T12:39:58Z Liguros - Gitlab CI/CD [develop] gitlab@liguros.net 2022-05-11T12:39:58Z urn:sha1:98a9e2a59e48888ab821a99e3a24b3d43140ebe4