this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #19960 from denismerigoux/opam-publish-catala.0.5.0

Package catala.0.5.0

authored by

Kate and committed by
GitHub
445af1d3 d1bb0da5

+56
+56
packages/catala/catala.0.5.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: 3 + "Compiler and library for the literate programming language for tax code specification" 4 + description: """ 5 + Catala is a domain-specific language for deriving faithful-by-construction 6 + algorithms from legislative texts. See https://catala-lang.org for more information 7 + """ 8 + maintainer: ["contact@catala-lang.org"] 9 + authors: ["Denis Merigoux, Nicolas Chataing"] 10 + license: "Apache-2.0" 11 + homepage: "https://github.com/CatalaLang/catala" 12 + bug-reports: "https://github.com/CatalaLang/catala/issues" 13 + depends: [ 14 + "dune" {>= "2.8"} 15 + "ocaml" {>= "4.11.0"} 16 + "ANSITerminal" {>= "0.8.2"} 17 + "sedlex" {>= "2.4"} 18 + "menhir" {>= "20200211"} 19 + "menhirLib" {>= "20200211"} 20 + "unionFind" {>= "20200320"} 21 + "bindlib" {>= "5.0.1"} 22 + "cmdliner" {>= "1.0.4"} 23 + "re" {>= "1.9.0"} 24 + "zarith" {>= "1.12"} 25 + "zarith_stubs_js" {>= "v0.14.1"} 26 + "ocamlgraph" {>= "1.8.8"} 27 + "calendar" {>= "2.04"} 28 + "visitors" {>= "20200210"} 29 + "benchmark" {>= "1.6"} 30 + "js_of_ocaml-ppx" {>= "3.8.0"} 31 + "camomile" {>= "1.0.2"} 32 + "cppo" {>= "1"} 33 + "odoc" {with-doc} 34 + ] 35 + build: [ 36 + ["dune" "subst"] {dev} 37 + [ 38 + "dune" 39 + "build" 40 + "-p" 41 + name 42 + "-j" 43 + jobs 44 + "@install" 45 + "@runtest" {with-test} 46 + "@doc" {with-doc} 47 + ] 48 + ] 49 + dev-repo: "git+https://github.com/CatalaLang/catala.git" 50 + url { 51 + src: "https://github.com/CatalaLang/catala/archive/0.5.0.tar.gz" 52 + checksum: [ 53 + "md5=41b0317af37925b16ae7aedfddbcc8b4" 54 + "sha512=f02c4e4c7d8ca92c4c2100d1dfc31c56218a8fae3760135335c9cdd10d9edbeb6eb5e407b430c095f579ce2226c3fe4c314788af5aa35c37d04e4dee5f459cb8" 55 + ] 56 + }