Matthew Gretton-Dann
3288d85db7
I changed the name of the repository in gitea so the URIs in the README, dune-project, and partridge.opam files need updating.
37 lines
939 B
Plaintext
37 lines
939 B
Plaintext
(lang dune 3.20)
|
|
|
|
(name partridge)
|
|
|
|
(generate_opam_files true)
|
|
|
|
(source
|
|
(uri git+https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git))
|
|
|
|
(authors "Matthew Gretton-Dann <matt@gretton-dann.org.uk>")
|
|
|
|
(maintainers "Matthew Gretton-Dann <matt@gretton-dann.org.uk>")
|
|
|
|
(license Apache-2.0)
|
|
|
|
(homepage https://gitea.gretton-dann.org.uk/mgrettondann/partridge)
|
|
(bug_reports https://gitea.gretton-dann.org.uk/mgrettondann/partridge/issues)
|
|
(documentation https://gitea.gretton-dann.org.uk/mgrettondann/partridge)
|
|
|
|
(package
|
|
(name partridge)
|
|
(synopsis "Generate solutions to the Partridge problem")
|
|
(description "Generates solutions to Partidge problems of various sizes. See README.md for more details")
|
|
(depends
|
|
(ocaml (>= 5.3))
|
|
(ocaml-lsp-server :dev)
|
|
(utop :dev)
|
|
(odoc :with-doc)
|
|
(ocamlformat (= 0.27.0))
|
|
(ounit2 :with-test)
|
|
dune
|
|
ppx_inline_test
|
|
ppx_expect
|
|
)
|
|
(tags
|
|
("partridge-problem" "triangular-numbers")))
|