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.
41 lines
1.1 KiB
Plaintext
41 lines
1.1 KiB
Plaintext
# This file is generated by dune, edit dune-project instead
|
|
opam-version: "2.0"
|
|
synopsis: "Generate solutions to the Partridge problem"
|
|
description:
|
|
"Generates solutions to Partidge problems of various sizes. See README.md for more details"
|
|
maintainer: ["Matthew Gretton-Dann <matt@gretton-dann.org.uk>"]
|
|
authors: ["Matthew Gretton-Dann <matt@gretton-dann.org.uk>"]
|
|
license: "Apache-2.0"
|
|
tags: ["partridge-problem" "triangular-numbers"]
|
|
homepage: "https://gitea.gretton-dann.org.uk/mgrettondann/partridge"
|
|
doc: "https://gitea.gretton-dann.org.uk/mgrettondann/partridge"
|
|
bug-reports:
|
|
"https://gitea.gretton-dann.org.uk/mgrettondann/partridge/issues"
|
|
depends: [
|
|
"ocaml" {>= "5.3"}
|
|
"ocaml-lsp-server" {dev}
|
|
"utop" {dev}
|
|
"odoc" {with-doc}
|
|
"ocamlformat" {= "0.27.0"}
|
|
"ounit2" {with-test}
|
|
"dune" {>= "3.20"}
|
|
"ppx_inline_test"
|
|
"ppx_expect"
|
|
]
|
|
build: [
|
|
["dune" "subst"] {dev}
|
|
[
|
|
"dune"
|
|
"build"
|
|
"-p"
|
|
name
|
|
"-j"
|
|
jobs
|
|
"@install"
|
|
"@runtest" {with-test}
|
|
"@doc" {with-doc}
|
|
]
|
|
]
|
|
dev-repo: "git+https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git"
|
|
x-maintenance-intent: ["(latest)"]
|