gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-04 01:37:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/dev-ml/num
History
Michael Mair-Keimberger e964054224
dev-ml/num: remove unused patches 
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
2025-12-07 23:28:28 +01:00
..
files
dev-ml/num: remove unused patches
2025-12-07 23:28:28 +01:00
Manifest
…
metadata.xml
…
num-1.5.ebuild
…
num-1.6-r1.ebuild
dev-ml/num: patch META file to fix build of easycrypt
2025-08-27 17:35:37 +02:00