mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-11 08:03:16 -04:00
Code Issues Packages Projects Releases Wiki Activity
9,802 Commits 1 Branch 0 Tags
ec27499184bdca850c624d6828f0258420ab7aa1
Commit Graph

5 Commits

Author SHA1 Message Date
Alessandro Barbieri
8470521dbc dev-ml/mirage-crypto: add 0.10.5 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-16 02:29:42 +02:00
Alessandro Barbieri
d039061a00 dev-ml/mirage-crypto: fix ounit2 dependency 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-16 00:46:50 +02:00
Alessandro Barbieri
b37dacce30 dev-ml/mirage-crypto: add missing test dependency 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-16 00:46:49 +02:00
Alessandro Barbieri
ad929a5ce5 dev-ml/*: change dune invocation 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:17 +02:00
Alessandro Barbieri
44319c5c78 dev-ml/mirage-crypto: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:10 +02:00