mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-13 00:53:02 -04:00
Code Issues Packages Projects Releases Wiki Activity
13,699 Commits 1 Branch 0 Tags
19df2b499a4f5d64f161e490f722db2d6d07e310
Commit Graph

4 Commits

Author SHA1 Message Date
Alessandro Barbieri
8ba1e8a9c8 dev-ml/*: improve metadata 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-26 12:33:35 +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
df7123ec9d dev-ml/js_of_ocaml: tests and useflags 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:14 +02:00
Alessandro Barbieri
f3274781ea dev-ml/js_of_ocaml: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-04 01:44:39 +02:00