this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Gabriel Radanne <drupyog@zoho.com>"
3authors: [ "Gabriel Radanne" ]
4homepage: "https://github.com/Drup/pumping"
5bug-reports: "https://github.com/Drup/pumping/issues"
6dev-repo: "git+https://github.com/Drup/pumping.git"
7license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
8tags: [ "regex" "types" ]
9build: [
10 ["jbuilder" "build" "--only-packages" "pumping" "--root" "." "-j" jobs
11 "--no-config" {jbuilder:version >= "1.0+beta18"}
12 "@install"
13 ]
14]
15depends: [
16 "ocaml" {>= "4.03.0"}
17 "ocamlfind" {build}
18 "jbuilder" {>= "1.0+beta6"}
19 "ocaml-migrate-parsetree" {< "2.0.0"}
20 "fmt"
21]
22synopsis: "Regular languages in types"
23description:
24 "Pumping is a library leverage the OCaml type system to recognize regular languages."
25url {
26 src: "https://github.com/Drup/pumping/archive/0.1.0.tar.gz"
27 checksum: [
28 "sha256=e8eccabbcf47bcbc203ae9c40b21a20fe4b85ec5c5a3ecf7a988feff50aa4bfe"
29 "md5=4b3f058aa0dc4842927b3b7e29064ce2"
30 ]
31}