millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-09 00:07:57 +03:00
Code Issues Packages Projects Releases Wiki Activity
gentoo/sci-mathematics/easycrypt
History
Maciej Barć 185fd04ec1
sci-mathematics/easycrypt: bump to 2025.11 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-11-16 21:30:57 +01:00
..
easycrypt-2025.10.ebuild
…
easycrypt-2025.11.ebuild
…
Manifest
…
metadata.xml
…