From 8e68966121e3eb29eb5632348b2127ca55a2cab1 Mon Sep 17 00:00:00 2001
From: Nicolas Palix <nicolas.palix@imag.fr>
Date: Tue, 18 Jun 2024 09:23:03 +0200
Subject: [PATCH 1/2] Package herodotos.1.0

---
 packages/herodotos/herodotos.1.0/opam | 44 +++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 packages/herodotos/herodotos.1.0/opam

diff --git a/packages/herodotos/herodotos.1.0/opam b/packages/herodotos/herodotos.1.0/opam
new file mode 100644
index 00000000000..9dea48be2f7
--- /dev/null
+++ b/packages/herodotos/herodotos.1.0/opam
@@ -0,0 +1,44 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Tracking code postions through software versions"
+description: """
+Herodotos is open source and can be freely redistributed under the terms of the GNU General Public
+License version 2. See the file LICENSE in the distribution for licensing information."""
+maintainer: ["Nicolas Palix"]
+authors: ["Nicolas Palix" "Oscar Granger" "Justin Nguyen" "Vincent Arnone"]
+license: "GPL-2.0-or-later"
+tags: ["coccinelle" "ocaml" "menhir" "volt" "parmap" "postgresql" "dune"]
+homepage: "https://github.com/coccinelle/herodotos"
+doc: "https://coccinelle.gitlabpages.inria.fr/website/herodotos/herodotos.html"
+bug-reports: "https://github.com/coccinelle/herodotos/issues"
+depends: [
+  "ocaml"
+  "dune" {>= "3.1"}
+  "odoc" {with-doc}
+  "vlt" {>= "0.1"}
+  "parmap" {>= "1.2.5"}
+  "postgresql" {>= "5.0.0"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/coccinelle/herodotos.git"
+url {
+  src:
+    "https://github.com/coccinelle/herodotos/archive/refs/tags/v1.0.tar.gz"
+  checksum: [
+    "md5=f491a106c98fa1d6cacdedcce6e3198d"
+    "sha512=8c3e74ee8f0ead9f6aa9dbb0e42a187d79116d7d9b92902049602da31f9a3bc9b7de3749975fbdb34824f794c4b6a530ee7dff93d3fa336197ad7e2b547d0909"
+  ]
+}

From f2ac03865dc59fa28dbaf9a4764dead36cf9406f Mon Sep 17 00:00:00 2001
From: Marcello Seri <mseri@users.noreply.github.com>
Date: Tue, 9 Jul 2024 10:37:22 +0200
Subject: [PATCH 2/2] Update packages/herodotos/herodotos.1.0/opam

Co-authored-by: Anil Madhavapeddy <anil@recoil.org>
---
 packages/herodotos/herodotos.1.0/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/herodotos/herodotos.1.0/opam b/packages/herodotos/herodotos.1.0/opam
index 9dea48be2f7..e0c5ae2cc59 100644
--- a/packages/herodotos/herodotos.1.0/opam
+++ b/packages/herodotos/herodotos.1.0/opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Tracking code postions through software versions"
+synopsis: "Tracking code positions through software versions"
 description: """
 Herodotos is open source and can be freely redistributed under the terms of the GNU General Public
 License version 2. See the file LICENSE in the distribution for licensing information."""