gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 18:58:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/dev-ml/num/files/num-1.6-META-directory.patch
Maciej Barć 862387fc00 dev-ml/num: patch META file to fix build of easycrypt 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-27 17:35:37 +02:00

372 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink