File tree Expand file tree Collapse file tree 1 file changed +41
-0
lines changed
packages/typed_list/typed_list.0.0.1.1 Expand file tree Collapse file tree 1 file changed +41
-0
lines changed Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis: "A list with type information"
3+ description: "A list with phantom types"
4+ maintainer: ["Stefan Muenzel <
[email protected] >"]
5+ authors: ["Stefan Muenzel <
[email protected] >"]
6+ license: "MPL-2.0"
7+ tags: ["typed_list"]
8+ homepage: "https://github.com/engineeredabstraction/typed_list"
9+ bug-reports: "https://github.com/engineeredabstraction/typed_list/issues"
10+ depends: [
11+ "dune" {>= "3.8"}
12+ "base"
13+ "ppx_expect"
14+ "ppx_jane"
15+ "higher_kinded" {>= "v0.17.0"}
16+ "odoc" {with-doc}
17+ ]
18+ build: [
19+ ["dune" "subst"] {dev}
20+ [
21+ "dune"
22+ "build"
23+ "-p"
24+ name
25+ "-j"
26+ jobs
27+ "@install"
28+ "@runtest" {with-test}
29+ "@doc" {with-doc}
30+ ]
31+ ]
32+ dev-repo: "git+https://github.com/engineeredabstraction/typed_list.git"
33+ url {
34+ src:
35+ "https://github.com/engineeredabstraction/typed_list/releases/download/0.0.1.1/typed_list-0.0.1.1.tbz"
36+ checksum: [
37+ "sha256=10842c420604844f1e5ce748a7764fc1c4c2dfdf7a2e6932dad5331b922780b5"
38+ "sha512=c7253f70c647db82a12360fde8c8b5d6382c319141bc1ebbbbe236224a1543759e60c00e6fc3ac213132bccbe1d86928c088827cad4d6e213aa5b950df7e4b56"
39+ ]
40+ }
41+ x-commit-hash: "4b48eae1d90e61592540a9b9e0e1169578b0912e"
You can’t perform that action at this time.
0 commit comments