diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
| commit | 5d0c0ffd63620a4db788484bd36ab92b76e7891b (patch) | |
| tree | b4204d122504a5c2d3bfdb2cc9f3a5dcf5fe07b2 /dev-ml/ptmap | |
| parent | 60945053af0588a6219a4a6867aace9e7b47faeb (diff) | |
gentoo auto-resync : 20:11:2022 - 01:01:31
Diffstat (limited to 'dev-ml/ptmap')
| -rw-r--r-- | dev-ml/ptmap/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/ptmap/files/ptmap-2.0.5-dune.patch | 11 | ||||
| -rw-r--r-- | dev-ml/ptmap/ptmap-2.0.5-r2.ebuild | 2 |
3 files changed, 15 insertions, 1 deletions
diff --git a/dev-ml/ptmap/Manifest b/dev-ml/ptmap/Manifest index af86eec62cf7..d8f34f2ee4c9 100644 --- a/dev-ml/ptmap/Manifest +++ b/dev-ml/ptmap/Manifest @@ -1,3 +1,4 @@ +AUX ptmap-2.0.5-dune.patch 149 BLAKE2B 4c27562df15bcff8f9f0a53d0d6af910162dc3d9783ead28168ac0f92eeef185f82101cb566ff6858122eb8e54a555bc2882790b203b58623f20b220918cdd73 SHA512 27af7a4dfd4aa4ac888f9895855a2eaeee711432f9ac9c56c55efc81a1333a42661923aaa76a6610fc26b4224764dbb979ccb4f85ba7339ce3dd86b1129f376c DIST ptmap-2.0.5.tar.gz 15121 BLAKE2B a81d205df6d0d276b4919577eb0fcfe9c33ad9a188c462df74b72722f43153bda84fd23880945d16e0f332041f67869ab708f5a925a689cf1ddb22dc0b9a6d28 SHA512 6815ee977cb9a4c5088af8dfb7d8055c8d35870ceb4e95f658fbdc50405495bea75a8755442dc6f7345d2e9021c3b96d14883603759baf267feced9cd5ba5202 -EBUILD ptmap-2.0.5-r2.ebuild 489 BLAKE2B 0996559c2bc5a08895fa9e8f7c9e8f8ee262e4bc00309686a95a08bff020428669a2e9d45c5cb169ba14271428e1b75ededd94aa1a356ce9c696c9a93f073f5f SHA512 7140454bdc0fa102ab8a41fd571c6bf42c82337ad00dba09a66f9dfa8cf94bdf41d1305ad3eb76a05f17c5b153fa18d0fdca4a2eaa2aa25ccc6f9126ebca0b00 +EBUILD ptmap-2.0.5-r2.ebuild 532 BLAKE2B f8ca7119b47cc169246955869b772edc8a6e1934b47f72b034c42de21fede9f44cbbf75cb68cf7668dcd6fd6727a6d957c7bffbd55091adf30bf181d934c59b4 SHA512 ef929969242e432024048dc02f2294987b87a7d1829e6868dfa1676ad2348ad9a6e3a9aee794b53432177e2dad731214be6fe1d4018e34e19e9f3e9070bf8276 MISC metadata.xml 396 BLAKE2B e02dd0cdbbbde71ee78d299a9fd709dc85f7c82f9d841ca7321d8bd24087568e1f1c337f67d08de5c42afa687683e25e58fcc67872c5e6a5dbeb176bed22a3e4 SHA512 ff4e86ae430fa12086067b849d9bfcec70ca49807dee15cc38936ceb8f9759b2c232c943719bff5424cd2f9284b60cde9c66fa7bcb59204c763a3326a798f935 diff --git a/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch new file mode 100644 index 000000000000..b13122884adb --- /dev/null +++ b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch @@ -0,0 +1,11 @@ +--- a/dune ++++ b/dune +@@ -1,7 +1,6 @@ + (library + (public_name ptmap) +- (modules ptmap) +- (libraries seq)) ++ (modules ptmap)) + + (test + (name test) diff --git a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild index 2213fb278c04..5f448db4390d 100644 --- a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild +++ b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild @@ -19,3 +19,5 @@ RDEPEND=" dev-ml/stdlib-shims:= " DEPEND="${RDEPEND}" + +PATCHES=( "${FILESDIR}"/${P}-dune.patch ) |