this repo has no description
Merge pull request #25409 from filipeom/opam-publish-encoding.0.0.4
Package encoding.0.0.4
authored by
Marcello Seri
and committed by
GitHub
040ad054
73f24545
+46
+46
packages/encoding/encoding.0.0.4/opam
+46
packages/encoding/encoding.0.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Smt encoding library"
4
+
description: "An OCaml abstraction layer for constraint solvers."
5
+
maintainer: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
6
+
authors: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
7
+
license: "GPL-3.0-only"
8
+
homepage: "https://github.com/formalsec/encoding"
9
+
doc: "https://formalsec.github.io/encoding/encoding/index.html"
10
+
bug-reports: "https://github.com/formalsec/encoding/issues"
11
+
depends: [
12
+
"dune" {>= "3.0"}
13
+
"ocaml" {>= "4.14.0"}
14
+
"ocaml_intrinsics"
15
+
"z3" {>= "4.12.2" & < "4.13"}
16
+
"menhir" {build & >= "20220210"}
17
+
"cmdliner" {>= "1.2.0"}
18
+
"zarith" {>= "1.5"}
19
+
"odoc" {with-doc}
20
+
"hc" {>= "0.3"}
21
+
"bisect_ppx" {with-test & >= "2.5.0" & dev}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"@install"
33
+
"@runtest" {with-test}
34
+
"@doc" {with-doc}
35
+
]
36
+
]
37
+
dev-repo: "git+https://github.com/formalsec/encoding.git"
38
+
available: (arch = "x86_64" | arch = "arm64") & os != "win32" & arch != "x86_32"
39
+
url {
40
+
src:
41
+
"https://github.com/formalsec/encoding/archive/refs/tags/v0.0.4.tar.gz"
42
+
checksum: [
43
+
"md5=79eace174880a378ca634f3b6d6dca2b"
44
+
"sha512=c244e75b833cd5eae204749e6049003fb0ede5f202cd18219de8d3a771fc40475b2cc865e9b49f7694696c67389e5b5fe7d5bee415f5e6439ee7ff960ff3c9e0"
45
+
]
46
+
}