diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-03-12 21:55:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-03-12 21:55:15 +0000 |
| commit | 7218e1b46bceac05841e90472501742d905fb3fc (patch) | |
| tree | 56fae051db521b8fce8014cbc8b11484885b14b3 /dev-ml/ppx_optional | |
| parent | 6d691ad5b6239929063441bbd14c489e92e7396e (diff) | |
gentoo resync : 12.03.2021
Diffstat (limited to 'dev-ml/ppx_optional')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 24 |
2 files changed, 0 insertions, 26 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 7080368b1af1..6511114daf77 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,5 +1,3 @@ DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 -DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0 EBUILD ppx_optional-0.14.0.ebuild 525 BLAKE2B 7ac241a1fe658836af2b3b74f73cfbc0b5c70c708b35f4d4f7d6afe6bacf02bbaea4c0f75d8c784315b2812d51e363809d60583bf7cd2cb90334b914b93688b6 SHA512 3b8c3593dfc58a652491ac5d2e8b062fd2d1bf93b4ef5b221f12374f14d7b415ff1c41b211ee815e57293a26e11338073a83c173555b76991b199af8b959c077 -EBUILD ppx_optional-0.9.0.ebuild 541 BLAKE2B eaead536ee9b791dcf1ea8c4b43a37f9bda86598dc02a5c76c213af082eedcb7ec99033783fb5c1345b8ad5c38edbaa8da148bedbaa3b11c550f8fed6f73304e SHA512 3f085f451459dfa4f66fe38d85f5288adf02d16d939a080686d83d7bbed4b839aa2f9ec73b37c09718c9158b3f86259ae893e7d6a98469bcd21b6eba0d158dc9 MISC metadata.xml 332 BLAKE2B 0824f2e9534fb0da9c6173262e70e59d7734d171ec01c274504636f71ead682799e16f7aa6d4ed90af336f3d68b2668eee86371c6be191903b81147b885ff53d SHA512 9dcc5fdfff88c79298e80a8dac25bd130a53ab4f02fda52336cb753de685d45c7769c8b0a1697e5fe11b78acfbf19e8798790ba4c6e4c697006107762b5f88ee diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild deleted file mode 100644 index 55a77ef14936..000000000000 --- a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Pattern matching on flat options" -HOMEPAGE="https://github.com/janestreet/ppx_optional" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=" - dev-ml/ppx_core:= - dev-ml/ppx_driver:= - dev-ml/ppx_metaquot:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |