projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b913f9) | patch
sci-mathematics/coq: migrate from dev-tex/xcolor
authorMikle Kolyada <zlogene@gentoo.org>
Mon, 4 Nov 2019 12:14:22 +0000 (15:14 +0300)
committerMikle Kolyada <zlogene@gentoo.org>
Mon, 4 Nov 2019 12:19:24 +0000 (15:19 +0300)
commit214de00f968332f07b1f2b04d408ab8c43efaf24
treea1f2bd806a7d2bbfb1ec9d72fc9d1b6023bc06c2tree | snapshot
parent1b913f9dd029c51ac4856f75ff89505500aa8273commit | diff
sci-mathematics/coq: migrate from dev-tex/xcolor

Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
sci-mathematics/coq/Manifest diff | blob | history
sci-mathematics/coq/coq-8.6.1-r1.ebuild [moved from sci-mathematics/coq/coq-8.6.1.ebuild with 96% similarity] diff | blob | history
sci-mathematics/coq/coq-8.6.ebuild [deleted file] blob | history
sci-mathematics/coq/coq-8.9.1-r1.ebuild [moved from sci-mathematics/coq/coq-8.9.1.ebuild with 97% similarity] diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.