From 1f48e6b274aef2d49fc0544c9aaae215e8a397ce Mon Sep 17 00:00:00 2001
From: Yves Bertot <Yves.Bertot@inria.fr>
Date: Thu, 21 Mar 2024 14:59:16 +0100
Subject: [PATCH] coq-dpdgraph for coq 8.19

---
 .../coq-dpdgraph/coq-dpdgraph.1.0+8.19/opam   | 42 +++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 released/packages/coq-dpdgraph/coq-dpdgraph.1.0+8.19/opam

diff --git a/released/packages/coq-dpdgraph/coq-dpdgraph.1.0+8.19/opam b/released/packages/coq-dpdgraph/coq-dpdgraph.1.0+8.19/opam
new file mode 100644
index 000000000..56c566f33
--- /dev/null
+++ b/released/packages/coq-dpdgraph/coq-dpdgraph.1.0+8.19/opam
@@ -0,0 +1,42 @@
+opam-version: "2.0"
+maintainer: "palmskog@gmail.com"
+
+homepage: "https://github.com/coq-community/coq-dpdgraph"
+dev-repo: "git+https://github.com/coq-community/coq-dpdgraph.git"
+bug-reports: "https://github.com/coq-community/coq-dpdgraph/issues"
+license: "LGPL-2.1-only"
+
+synopsis: "Compute dependencies between Coq objects (definitions, theorems) and produce graphs"
+description: """
+Coq plugin that extracts the dependencies between Coq objects,
+and produces files with dependency information. Includes tools
+to visualize dependency graphs and find unused definitions."""
+
+build: [
+  ["./configure"]
+  [make "-j%{jobs}%" "WARN_ERR="]
+]
+install: [make "install" "BINDIR=%{bin}%"]
+depends: [
+  "ocaml" {>= "4.09.0"}
+  "coq" {>= "8.19" & < "8.20~"}
+  "ocamlgraph" 
+]
+
+tags: [
+  "category:Miscellaneous/Coq Extensions"
+  "keyword:dependency graph"
+  "keyword:dependency analysis"
+  "logpath:dpdgraph"
+  "date:2024-03-21"
+]
+authors: [
+  "Anne Pacalet"
+  "Yves Bertot"
+  "Olivier Pons"
+]
+
+url {
+  src: "https://github.com/coq-community/coq-dpdgraph/releases/download/v1.0%2B8.19/coq-dpdgraph-1.0-8.19.tgz"
+  checksum: "sha512=a7da899aca0214ba09310c476a58e0680a343ed19e2d7c78d317f0da74a82d4239c88c4e1e0d8626eea39bfb6165b562079ee42d3c825050daa5f80407346837"
+}