diff options
Diffstat (limited to 'sci-mathematics/coq/coq-8.15.2.ebuild')
-rw-r--r-- | sci-mathematics/coq/coq-8.15.2.ebuild | 2 |
1 files changed, 1 insertions, 1 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 |