projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d74d792) | patch
dev-ml/dune: add dev-ml/dune
authorTupone Alfredo <tupone@gentoo.org>
Thu, 25 Jul 2019 18:43:37 +0000 (20:43 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Thu, 25 Jul 2019 18:43:37 +0000 (20:43 +0200)
commitb9d5d9070503414e7e4506d9097a8ba1355fd8f2
tree715761df96eadbb7ff3bea9472d93bfa83832dddtree | snapshot
parentd74d792d14dbad298c8010664895626848870651commit | diff
dev-ml/dune: add dev-ml/dune

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
dev-ml/dune/Manifest [new file with mode: 0644] blob
dev-ml/dune/dune-1.7.2.ebuild [new file with mode: 0644] blob
dev-ml/dune/metadata.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.