this repo has no description
0
fork

Configure Feed

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

Package term-indexing.0.0.1

+48
+48
packages/term-indexing/term-indexing.0.0.1/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Term indexing library" 4 + description: 5 + "A library for term indexing. It allows to represent set of first-order terms and to perform queries such as iterating on terms unifiable with, specializing or generalizing a given query term. The library also exposes facilities for term rewriting and solving unification problems." 6 + maintainer: ["igarnier@protonmail.com"] 7 + authors: ["Ilias Garnier"] 8 + license: "MIT" 9 + tags: ["symbolics" "rewriting"] 10 + homepage: "http://github.com/igarnier/term-indexing" 11 + bug-reports: "http://github.com/igarnier/term-indexing" 12 + depends: [ 13 + "dune" {>= "3.0"} 14 + "ocaml" {>= "4.14"} 15 + "hashcons" {>= "1.4.0"} 16 + "containers" {>= "3.13.1"} 17 + "printbox" {>= "0.11"} 18 + "printbox-text" {>= "0.9.0"} 19 + "fmt" {>= "0.9.0"} 20 + "alcotest" {>= "0.8.1" & with-test} 21 + "qcheck" {>= "0.21" & with-test} 22 + "qcheck-core" {>= "0.21" & with-test} 23 + "qcheck-alcotest" {>= "0.21" & with-test} 24 + "odoc" {with-doc} 25 + ] 26 + build: [ 27 + ["dune" "subst"] {dev} 28 + [ 29 + "dune" 30 + "build" 31 + "-p" 32 + name 33 + "-j" 34 + jobs 35 + "@install" 36 + "@runtest" {with-test} 37 + "@doc" {with-doc} 38 + ] 39 + ] 40 + dev-repo: "git+https://github.com/igarnier/term-indexing" 41 + url { 42 + src: 43 + "https://github.com/igarnier/term-indexing/archive/refs/tags/0.0.1.tar.gz" 44 + checksum: [ 45 + "md5=9ba5dcf909fde539e173daf8f13abffd" 46 + "sha512=e84fb1104c420db346181416a1e95e60aeb1b757ed7456a6028a6dfd5096bb7888af7c1ad6ea1acb25e99318e86d1f75c82a072bbdc3ba8218e5b16778199dfe" 47 + ] 48 + }