diff options
Diffstat (limited to 'dev-ml/num')
| -rw-r--r-- | dev-ml/num/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/num/num-1.4.ebuild | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest index 944b4079b5a1..c545fca9b107 100644 --- a/dev-ml/num/Manifest +++ b/dev-ml/num/Manifest @@ -1 +1,2 @@ DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031 +DIST num-1.4.tar.gz 66327 BLAKE2B 59eae642e19f452dd911ef6c32b89978f2034a5fcaece4a358f3da447c8d6cb2b2581c39d032eb117edaf7ecf942583281eb6e31716b06960e768c2a985e099e SHA512 0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f diff --git a/dev-ml/num/num-1.4.ebuild b/dev-ml/num/num-1.4.ebuild new file mode 100644 index 000000000000..babd9330a771 --- /dev/null +++ b/dev-ml/num/num-1.4.ebuild @@ -0,0 +1,15 @@ +# Copyright 2020-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic" +HOMEPAGE="https://github.com/ocaml/num" +SRC_URI="https://github.com/ocaml/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris" +IUSE="+ocamlopt" |