commit:     785f60521da858db2cdfeeb173d2d6226c907848
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 13 20:01:18 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Nov 13 20:13:03 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=785f6052

dev-dotnet/coco: drop old 2014.12.24-r4

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-dotnet/coco/Manifest                           |  1 -
 dev-dotnet/coco/coco-2014.12.24-r4.ebuild          | 37 ----------------------
 .../files/coco-2014.12.24-Coco-csproj-net9.patch   | 11 -------
 3 files changed, 49 deletions(-)

diff --git a/dev-dotnet/coco/Manifest b/dev-dotnet/coco/Manifest
index acf5b3ef3e33..2e917822286d 100644
--- a/dev-dotnet/coco/Manifest
+++ b/dev-dotnet/coco/Manifest
@@ -1,2 +1 @@
-DIST coco-2014.12.24.tar.gz 37670 BLAKE2B 
acd2299e3452d4dac495a0a7f897694791b4abcc0dd7c243771fe8c7084cd9909110c655788844e11fbb576bd95e3596cb890c0ec930c3e4587fd3313082b5cb
 SHA512 
d3b5af1b73b233a8c4b4572db8d65b1c1ffec36e455e4d5fadf1002125433551c833b9574ae03edbe2cd3978fedef41c85667fce82ff2d6ee155c16f778f970e
 DIST coco-2014.12.25.snapshot.gh.tar.gz 37724 BLAKE2B 
ba399980bfdc7772371f83c1913e2a9188b9d85c4db5c079dc6897b4503f994416b0da829c7dffc2fb295688b1607e468b281fd02c32a824ad878825daea859f
 SHA512 
e8e1985f0d044a9b985c04e82e512a35692a7bb83d3691f806727ddc791908e25f2f4a8da52f0213e9c437ffc14cae89b2bb0e86769e1f4d0d73a83973fbe8d4

diff --git a/dev-dotnet/coco/coco-2014.12.24-r4.ebuild 
b/dev-dotnet/coco/coco-2014.12.24-r4.ebuild
deleted file mode 100644
index 2ea2a121cc0e..000000000000
--- a/dev-dotnet/coco/coco-2014.12.24-r4.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT="9.0"
-NUGET_PACKAGES=""
-
-inherit dotnet-pkg
-
-DESCRIPTION="The compiler generator Coco/R for C#"
-HOMEPAGE="https://github.com/boogie-org/coco/";
-
-if [[ "${PV}" == *9999* ]] ; then
-       inherit git-r3
-
-       EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git";
-else
-       SRC_URI="https://github.com/boogie-org/${PN}/archive/${PV}.tar.gz
-               -> ${P}.tar.gz"
-
-       KEYWORDS="amd64"
-fi
-
-LICENSE="GPL-2+"
-SLOT="0"
-
-DOTNET_PKG_PROJECTS=( Coco.csproj )
-PATCHES=( "${FILESDIR}/coco-2014.12.24-Coco-csproj-net9.patch" )
-
-src_unpack() {
-       dotnet-pkg_src_unpack
-
-       if [[ -n "${EGIT_REPO_URI}" ]] ; then
-               git-r3_src_unpack
-       fi
-}

diff --git a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch 
b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch
deleted file mode 100644
index 553c1ab0b011..000000000000
--- a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Coco.csproj
-+++ b/Coco.csproj
-@@ -13,7 +13,7 @@
- 
-   <PropertyGroup>
-     <OutputType>Exe</OutputType>
--    <TargetFrameworks>net6.0;net5.0;netcoreapp3.1</TargetFrameworks>
-+    <TargetFrameworks>net9.0</TargetFrameworks>
-     <PackAsTool>true</PackAsTool>
-     <ToolCommandName>coco</ToolCommandName>
-     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>

Reply via email to