29 lines
582 B
Plaintext
29 lines
582 B
Plaintext
# This file is generated by dune, edit dune-project instead
|
|
opam-version: "2.0"
|
|
synopsis:
|
|
"parametricity failure modes under specialisation inlining and unboxing"
|
|
description:
|
|
"typed source and target IRs, interpreters, logical relations, and counterexample search"
|
|
maintainer: ["codex"]
|
|
authors: ["codex"]
|
|
license: "MIT"
|
|
depends: [
|
|
"dune" {>= "3.22"}
|
|
"odoc" {with-doc}
|
|
]
|
|
build: [
|
|
["dune" "subst"] {dev}
|
|
[
|
|
"dune"
|
|
"build"
|
|
"-p"
|
|
name
|
|
"-j"
|
|
jobs
|
|
"@install"
|
|
"@runtest" {with-test}
|
|
"@doc" {with-doc}
|
|
]
|
|
]
|
|
x-maintenance-intent: ["(latest)"]
|