algaos/algaos-ebuild-tree/sci-mathematics/easycrypt, branch next[no description]https://git.algaos.com/algaos/algaos-ebuild-tree/atom?h=next2026-08-15T10:07:27ZFixing manifest once again.2026-08-15T10:07:27ZSergiosergiotarxz@posteo.net2026-08-15T10:07:27Zurn:sha1:a426a5531d9fdb42dea61ed32bba6efbd962bcabReplacing manifests2026-08-10T06:45:17ZSergiosergiotarxz@posteo.net2026-08-10T06:45:17Zurn:sha1:cfebada693683654bf8ab5cc715007d630bcf856Updating Manifests.2026-08-08T23:10:29ZSergiosergiotarxz@posteo.net2026-08-08T23:10:29Zurn:sha1:77b2afdef68b7d38ac6bc658a8b75165b7201db7sci-mathematics/easycrypt: drop old 2026.032026-07-30T11:11:46ZMaciej Barćxgqt@gentoo.org2026-07-30T09:24:50Zurn:sha1:093be3e5944023b2954bb1b47bbf8e297f60fd33
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: bump to 2026.062026-06-14T00:31:01ZMaciej Barćxgqt@gentoo.org2026-06-14T00:12:12Zurn:sha1:a410decc87e76e88212ac2704a75a1a11fb1f871
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: drop old 2025.112026-05-02T22:40:23ZMaciej Barćxgqt@gentoo.org2026-05-02T21:02:13Zurn:sha1:e284e430af3b0c1d38975f509f3f19b6e03183f7
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: drop old 2025.102026-05-02T22:40:23ZMaciej Barćxgqt@gentoo.org2026-05-02T21:01:54Zurn:sha1:119fa5826b9b081d6bde4037ab50c765c7d207a8
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: bump to 2026.052026-05-02T22:40:23ZMaciej Barćxgqt@gentoo.org2026-05-02T21:01:11Zurn:sha1:8bb16ab8a0daf073780e553ea3451e58ac6b8e6e
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: bump to 2026.032026-03-24T16:36:04ZMaciej Barćxgqt@gentoo.org2026-03-24T16:05:38Zurn:sha1:b1c5d9c6784e859c5ed96dd65755dc5922684504
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/easycrypt: bump to 2025.112025-11-16T20:30:57ZMaciej Barćxgqt@gentoo.org2025-11-16T19:34:31Zurn:sha1:185fd04ec1b4ad2b8471b75bf0348e155c511583
Signed-off-by: Maciej Barć <xgqt@gentoo.org>