diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-02-14 06:18:51 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-02-14 06:23:31 +0100 |
| commit | 061ce25f1e249b4b3bbd453d28acc5e99fc49794 (patch) | |
| tree | efe20952b3925120210aba4f6067ce3a71bf51a2 /sci-mathematics/coq | |
| parent | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} (diff) | |
| download | gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.tar.gz gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.tar.bz2 gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.zip | |
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.2.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.16.0.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.16.1.ebuild | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/coq/coq-8.15.2.ebuild b/sci-mathematics/coq/coq-8.15.2.ebuild index 0a107a1e5a53..1cabd5cce240 100644 --- a/sci-mathematics/coq/coq-8.15.2.ebuild +++ b/sci-mathematics/coq/coq-8.15.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 diff --git a/sci-mathematics/coq/coq-8.16.0.ebuild b/sci-mathematics/coq/coq-8.16.0.ebuild index 782fa5756e91..bc5f5a596041 100644 --- a/sci-mathematics/coq/coq-8.16.0.ebuild +++ b/sci-mathematics/coq/coq-8.16.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 diff --git a/sci-mathematics/coq/coq-8.16.1.ebuild b/sci-mathematics/coq/coq-8.16.1.ebuild index 782fa5756e91..bc5f5a596041 100644 --- a/sci-mathematics/coq/coq-8.16.1.ebuild +++ b/sci-mathematics/coq/coq-8.16.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 |