projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7b6a1c) | patch
dev-ml/dune: x86 stable wrt bug #710374
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 12:49:49 +0000 (13:49 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 12:49:49 +0000 (13:49 +0100)
commite24ad69d5e7be8eade078c7de8b2bffc529c6731
tree58c2176f75bd53b15527f0018e03e60201dedc17tree | snapshot
parentd7b6a1ccb428ede226d905fcd850fc11b0d922e8commit | diff
dev-ml/dune: x86 stable wrt bug #710374

Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="x86"
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.