Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits: 43e7b4a1 by Stephane Glondu at 2024-08-03T16:48:56+02:00 Do not hardcode /usr/lib/ocaml - - - - - 897cd17e by Stephane Glondu at 2024-08-03T16:49:05+02:00 Update changelog - - - - - 7ac352ff by Stephane Glondu at 2024-08-03T17:29:36+02:00 Prepare upload to unstable - - - - - 4 changed files: - debian/changelog - debian/libcoq-aac-tactics.install → debian/libcoq-aac-tactics.install.in - − debian/not-installed - + debian/not-installed.in Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +aac-tactics (8.19.1-2) unstable; urgency=medium + + * Do not hardcode /usr/lib/ocaml + + -- Stéphane Glondu <[email protected]> Sat, 03 Aug 2024 17:29:07 +0200 + aac-tactics (8.19.1-1) unstable; urgency=medium * New upstream release. ===================================== debian/libcoq-aac-tactics.install → debian/libcoq-aac-tactics.install.in ===================================== @@ -1,3 +1,3 @@ -/usr/lib/ocaml/coq/user-contrib/AAC_tactics -/usr/lib/ocaml/coq-aac-tactics +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics +@OCamlStdlibDir@/coq-aac-tactics html/* /usr/share/doc/libcoq-aac-tactics/theories ===================================== debian/not-installed deleted ===================================== @@ -1,3 +0,0 @@ -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cma -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmx -usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmxa ===================================== debian/not-installed.in ===================================== @@ -0,0 +1,3 @@ +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cma +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cmx +@OCamlStdlibDir@/coq/user-contrib/AAC_tactics/aac_plugin.cmxa View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/e10207be49a4a18fc8559acfc7290a69c186843c...7ac352ff649a44c91feef096909cbda66b3cb2a9 -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/e10207be49a4a18fc8559acfc7290a69c186843c...7ac352ff649a44c91feef096909cbda66b3cb2a9 You're receiving this email because of your account on salsa.debian.org.
