this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3authors: "Simon Cruanes"
4homepage: "https://github.com/c-cube/tip-parser/"
5bug-reports: "https://github.com/c-cube/tip-parser/issues"
6tags: ["TIP" "parse" "inductive" "logic"]
7dev-repo: "git+https://github.com/c-cube/tip-parser.git"
8build: [make "all"]
9install: [make "install"]
10remove: ["ocamlfind" "remove" "tip_parser"]
11depends: [
12 "ocaml"
13 "ocamlfind" {build}
14 "base-bytes"
15 "result"
16 "menhir" {build & < "20200525"}
17 "ocamlbuild" {build}
18]
19synopsis: "Parser for TIP (Tons of Inductive Problems)"
20description: """
21A simple AST and parser/printer for TIP (https://tip-org.github.io/), a simple
22format for writing problems in a typed logic with computable functions,
23datatypes, and axioms."""
24flags: light-uninstall
25url {
26 src: "https://github.com/c-cube/tip-parser/archive/0.3.tar.gz"
27 checksum: [
28 "sha256=2e866622c23d5aba65a3e668084048f31af73e337138dba10309cba74dee0494"
29 "md5=c80de6832afe720df7f14a1c107625bf"
30 ]
31}