dune subst

Author: gares

coq-elpi.opam

@@ -1,3 +1,4 @@
+version: "2.5.2-45-gca1b82d"
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis: "Compatibility metapackage for Elpi extension language after the Rocq renaming"

dune-project

@@ -1,6 +1,7 @@
 (lang dune 3.13)
 (using coq 0.8)
 (name rocq-elpi)
+(version v2.5.2-45-gca1b82d)
 ;(generate_opam_files)
 
 (source (github LPCIC/coq-elpi))

rocq-elpi.opam

@@ -1,3 +1,4 @@
+version: "2.5.2-45-gca1b82d"
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis: "Elpi extension language for Coq"

src/rocq_elpi_programs.ml

@@ -973,8 +973,8 @@ let file_resolver ?cwd:_ ~unit:file () =
 let versions =
   let open API.Setup.StrMap in
   empty
-  |> add "coq-elpi" (API.Utils.version_parser ~what:"coq-elpi" "%%VERSION_NUM%%")
-  |> add "rocq-elpi" (API.Utils.version_parser ~what:"rocq-elpi" "%%VERSION_NUM%%")
+  |> add "coq-elpi" (API.Utils.version_parser ~what:"coq-elpi" "2.5.2-45-gca1b82d")
+  |> add "rocq-elpi" (API.Utils.version_parser ~what:"rocq-elpi" "2.5.2-45-gca1b82d")
   |> add "coq" (API.Utils.version_parser ~what:"coq" Coq_config.version)
   |> add "rocq" (API.Utils.version_parser ~what:"rocq" Coq_config.version)