projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b33478d) | patch
sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the remaining...
authorPatrice Clement <monsieurp@gentoo.org>
Sat, 25 Jun 2016 20:37:09 +0000 (20:37 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Sat, 25 Jun 2016 20:41:30 +0000 (20:41 +0000)
commit553750d950477340ab2f269efecb4a90921c7fe0
tree5c0661293f89bbd3b44c910511b98036179430fetree | snapshot
parentb33478dcca59b26bbfb07a08fe97c9a6e5118f89commit | diff
sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy.

Package-Manager: portage-2.2.28
Gentoo-Bug: https://bugs.gentoo.org/586932
sci-mathematics/coq/coq-8.5.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.