From fcabd6c071f2d5ab87e2ca9f6da545d96148c208 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Christophe=20L=C3=A9chenet?=
 <jean-christophe.lechenet@inria.fr>
Date: Thu, 20 Nov 2025 13:36:16 +0100
Subject: [PATCH] Add jasmin.2025.06.2

---
 packages/jasmin/jasmin.2025.06.2/opam | 39 +++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 packages/jasmin/jasmin.2025.06.2/opam

diff --git a/packages/jasmin/jasmin.2025.06.2/opam b/packages/jasmin/jasmin.2025.06.2/opam
new file mode 100644
index 00000000000..6d25fd82172
--- /dev/null
+++ b/packages/jasmin/jasmin.2025.06.2/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "Compiler for High-Assurance and High-Speed Cryptography"
+description: """
+Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin
+implementations aim at being efficient, safe, correct, and secure.
+"""
+maintainer: "Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>"
+authors: ["Jasmin authors and contributors"]
+license: "MIT"
+homepage: "https://github.com/jasmin-lang/jasmin"
+bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
+dev-repo: "git+https://gitlab.com/jasmin-lang/jasmin-compiler.git"
+x-maintenance-intent: ["(latest)"]
+
+build: [
+  [make "all"]
+]
+install: [
+  [make "install" "PREFIX=%{prefix}%"]
+]
+depends: [
+  "ocaml" {>= "4.12" & build}
+  "batteries" {>= "3.5"}
+  "cmdliner" {>= "1.1" & build }
+  "dune" {>= "3.7"}
+  "menhir" {>= "20160825" & build}
+  "menhirLib"
+  "camlidl"
+  "zarith" {>= "1.9"}
+  "apron" {>= "v0.9.13"}
+  "conf-ppl"
+  "yojson" {>= "1.6.0"}
+  "angstrom" {>= "0.14.0"}
+  "ocamlfind" { build }
+]
+url {
+  src: "https://github.com/jasmin-lang/jasmin/releases/download/v2025.06.2/jasmin-compiler-v2025.06.2.tar.bz2"
+  checksum: "sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb"
+}