this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Dose-extra libraries and tools (part of Mancoosi tools)"
3description: """\
4The dose-extra suite provides libraries for handling package meta-data, and various
5 tools for analyzing package relationships in a large package repository.
6 - dose-builddebcheck checks, given a collection of source package stanzas
7 and a collection of binary package stanzas of Debian packages, whether
8 the build-dependencies of each source package can be satisfied by the
9 binary packages.
10 - dose-distcheck checks for every package of a distribution whether it
11 is possible to satisfy its dependencies and conflicts within this
12 distribution.
13 - ceve, a general metadata parser supporting different input formats
14 (Debian, rpm, and others) and different output formats.
15 - dose-outdated, a Debian-specific tool for finding packages that are not
16 installable with respect to a package repository, and that can only be
17 made installable again by fixing the package itself.
18 - dose-challenged, a Debian-specific tool for checking which packages
19 will certainly become uninstallable when some existing package is upgraded
20 to a newer version.
21 - dose-deb-coinstall, a Debian-specific tool for checking whether a set of
22 packages can be installed all together."""
23maintainer: [
24 "Pietro Abate" "Johannes Schauer Marin Rodrigues" "Ralf Treinen"
25]
26authors: [
27 "Pietro Abate"
28 "Ralf Treinen"
29 "Jaap Boender"
30 "Johannes Schauer Marin Rodrigues"
31 "Roberto Di Cosmo"
32 "Felipe Garay"
33 "Stefano Zacchiroli"
34 "Jakub Zwolakowski"
35 "Olivier Rosello"
36]
37license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
38homepage: "http://www.mancoosi.org/software/"
39doc: "https://irill.gitlab.io/dose3"
40bug-reports: "https://gitlab.com/irill/dose3/issues/"
41depends: [
42 "dune" {>= "2.7"}
43 "ocaml" {>= "4.03"}
44 "ocaml" {with-test & < "5.0"}
45 "dose3" {= version}
46 "extlib" {>= "1.7.8"}
47 "camlbz2" {>= "0.7.0"}
48 "camlzip" {>= "1.08"}
49 "parmap" {>= "1.1"}
50 "ounit" {with-test}
51 "conf-python-3" {with-test}
52 "conf-python3-yaml" {with-test}
53 "conf-dpkg" {with-test}
54 "odoc" {with-doc}
55]
56build: [
57 ["dune" "subst"] {dev}
58 [
59 "dune"
60 "build"
61 "-p"
62 name
63 "-j"
64 jobs
65 "@install"
66 "@runtest" {with-test}
67 "@doc" {with-doc}
68 ]
69]
70dev-repo: "git+https://gitlab.com/irill/dose3.git"
71url {
72 src: "https://gitlab.com/irill/dose3/-/archive/7.0.0/dose3-7.0.0.tar.gz"
73 checksum: [
74 "md5=bc99cbcea8fca29dca3ebbee54be45e1"
75 "sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f"
76 ]
77}