diff options
| author | Stephane Glondu <steph@glondu.net> | 2023-07-14 09:37:15 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2023-07-14 09:37:15 +0200 |
| commit | 18e2cfaa223b078da96ac525e0afe0bd017e00a9 (patch) | |
| tree | 22976aab2a67ac9dda5a3e0e681c37d7c7a97c09 | |
| parent | dee7e5f42b0b7837c4f55360a6943bf2d18292f7 (diff) | |
Fix build with recent dune (Closes: #1041001)debian/1.18-2
| -rw-r--r-- | debian/changelog | 6 | ||||
| -rwxr-xr-x | debian/rules | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 46e9713..3234222 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +cryptokit (1.18-2) unstable; urgency=medium + + * Fix build with recent dune (Closes: #1041001) + + -- Stéphane Glondu <glondu@debian.org> Fri, 14 Jul 2023 09:36:55 +0200 + cryptokit (1.18-1) unstable; urgency=medium * New upstream release diff --git a/debian/rules b/debian/rules index 6f96e93..f9f78b4 100755 --- a/debian/rules +++ b/debian/rules @@ -17,7 +17,7 @@ override_dh_auto_build: dune build -p cryptokit override_dh_auto_install: - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) + dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) rm -f debian/tmp/usr/doc/cryptokit/LICENSE override_dh_auto_test: |