this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27434 from maranget/opam-publish-herdtools7.7.58

Package herdtools7 7.58

authored by

Marcello Seri and committed by
GitHub
0f19ffe3 8fb389f1

+31
+31
packages/herdtools7/herdtools7.7.58/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "The herdtools suite for simulating and studying weak memory models" 3 + maintainer: "Luc Maranget <Luc.Maranget@inria.fr>" 4 + authors: [ 5 + "Luc Maranget <Luc.Maranget@inria.fr>" 6 + "Jade Alglave <j.alglave@ucl.ac.uk>" 7 + ] 8 + homepage: "http://diy.inria.fr/" 9 + bug-reports: "http://github.com/herd/herdtools7/issues/" 10 + doc: "http://diy.inria.fr/doc/index.html" 11 + dev-repo: "git+https://github.com/herd/herdtools7.git" 12 + license: "CECILL-B" 13 + build: [make "build" "PREFIX=%{prefix}%"] 14 + install: [make "install" "PREFIX=%{prefix}%"] 15 + # @todo Add "build-doc" field 16 + # @todo Add "build-test" field 17 + depends: [ 18 + "ocaml" {>= "4.08.0"} 19 + "dune" {>= "2.7" } 20 + "menhir" {>= "20200123"} 21 + "zarith" {>= "1.13"} 22 + "conf-which" 23 + ] 24 + conflicts: ["ocaml-option-bytecode-only"] 25 + url { 26 + src: "https://github.com/herd/herdtools7/archive/refs/tags/7.58.tar.gz" 27 + checksum: [ 28 + "md5=f38a754aac334791d011e9c40a0147fb" 29 + "sha512=a8acfafe1b95867f50cfac41ec5f5d46f10a14babe3c6a34fcb412b89cbeb163de539f19a7f35690cf4ba1420480b0aaa17a7f4429f8482a810b1405bc224f94" 30 + ] 31 + }