mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-20 20:43:09 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
bf5dd7c748cd41b6fa540780d668045d1836db0b
guru/dev-ml/mirage-time/mirage-time-3.0.0.ebuild
Alessandro Barbieri ad929a5ce5 dev-ml/*: change dune invocation 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:17 +02:00

693 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink