Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334353637383940414243# This file is generated by dune, edit dune-project insteadopam-version: "2.0"synopsis: "Rocq formalization of the package calculus"description: """A core dependency-resolution calculus and its extensions, eachreduction to the core proved sound and complete in Rocq and extracted toOCaml, with PubGrub frontends for five package managers."""maintainer: ["Ryan Gibb"]authors: ["Ryan Gibb"]license: "MIT"homepage: "https://github.com/RyanGibb/pac"bug-reports: "https://github.com/RyanGibb/pac/issues"depends: [ "dune" {>= "3.17"} "ocaml" {>= "4.14"} "rocq-stdlib" {>= "9.2"} "coq-core" {>= "9.2"} "pubgrub" "cmdliner" "yojson" "opam-file-format" "ocamlformat" {with-dev-setup} "odoc" {with-doc}]build: [ ["dune" "subst"] {dev} [ "dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc} ]]dev-repo: "git+https://github.com/RyanGibb/pac.git"pin-depends: [ ["pubgrub.dev" "git+https://github.com/RyanGibb/ocaml-pubgrub.git#09b6c64"]]