diff options
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r-- | sci-mathematics/coq/coq-8.5.ebuild | 1 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.5_p3.ebuild | 1 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.6.ebuild | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/sci-mathematics/coq/coq-8.5.ebuild b/sci-mathematics/coq/coq-8.5.ebuild index 6b316f1ca09b..aec99722f86a 100644 --- a/sci-mathematics/coq/coq-8.5.ebuild +++ b/sci-mathematics/coq/coq-8.5.ebuild @@ -1,6 +1,5 @@ # Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Id$ EAPI=5 diff --git a/sci-mathematics/coq/coq-8.5_p3.ebuild b/sci-mathematics/coq/coq-8.5_p3.ebuild index 4c51032e1fc8..f06a2e04a485 100644 --- a/sci-mathematics/coq/coq-8.5_p3.ebuild +++ b/sci-mathematics/coq/coq-8.5_p3.ebuild @@ -1,6 +1,5 @@ # Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Id$ EAPI="5" diff --git a/sci-mathematics/coq/coq-8.6.ebuild b/sci-mathematics/coq/coq-8.6.ebuild index ffa143eea2df..9b09cfd79ddd 100644 --- a/sci-mathematics/coq/coq-8.6.ebuild +++ b/sci-mathematics/coq/coq-8.6.ebuild @@ -1,6 +1,5 @@ # Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Id$ EAPI="5" |