projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2519f60) | patch
dev-ml/dune: arm stable wrt bug #710374
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 10:07:06 +0000 (11:07 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 10:07:06 +0000 (11:07 +0100)
commit3cfd5aa2b80d8d01de9afbac62cd1284a1695540
tree9f6205a60d69441002378c9b4d1f79cfb142a61ctree | snapshot
parent2519f60783b6353899d7780cb76b786a57612e99commit | diff
dev-ml/dune: arm stable wrt bug #710374

Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="arm"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
dev-ml/dune/dune-2.1.0.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.