robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

remove gmp 6.2.1-3 (now released upstream)

Browse source
This commit is contained in:
Hannes Mehnert 2022-08-29 17:57:04 +02:00
parent 9e3e855fd0
commit ab04614eaa
1 changed files with 0 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
packages/gmp.6.2.1-3/opam
View file

@ -1,23 +0,0 @@
opam-version: "2.0"
maintainer: "Lucas Pluvinage <lucas@tarides.com>"
license: ["LGPL-3.0-only" "LGPL-2.0-only"]
authors: "Torbjörn Granlund and contributors"
homepage: "https://github.com/mirage/ocaml-gmp"
bug-reports: "https://github.com/mirage/ocaml-gmp/issues"
dev-repo: "git+https://github.com/mirage/ocaml-gmp.git"
substs: [ "src/build.sh" ]
build: [
[ "dune" "build" "-p" name "-j" jobs ]
[ "dune" "runtest" "-p" name "-j" jobs ] {with-test}
]
depends: [
"ocaml" {>= "4.02.0"}
"dune" {>= "2.6"}
"conf-m4"
]
synopsis: "The GNU Multiple Precision Arithmetic Library"
description: """Dune packaging of the GMP library, suitable for
cross-compilation."""
url {
src: "git+https://github.com/hannesm/ocaml-gmp.git#freebsd"
}