diff options
author | Stephane Glondu <steph@glondu.net> | 2023-07-22 08:17:11 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-07-22 08:24:30 +0200 |
commit | e359b0fb53740258735fa9616183b2229a8e7a4d (patch) | |
tree | 316c8f6e641ecc706a694f50add6a106d74b1639 | |
parent | 8501b5a089f6d4f277005088cf76192acf06c245 (diff) |
Repack
-rw-r--r-- | debian/changelog | 2 | ||||
-rw-r--r-- | debian/gbp.conf | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 128d00a..87adffa 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -not-ocamlfind (0.10-1) UNRELEASED; urgency=medium +not-ocamlfind (0.10+dfsg-1) UNRELEASED; urgency=medium * Initial release (Closes: #1041684) diff --git a/debian/gbp.conf b/debian/gbp.conf index cec628c..2024d81 100644 --- a/debian/gbp.conf +++ b/debian/gbp.conf @@ -1,2 +1,7 @@ [DEFAULT] pristine-tar = True +filter-pristine-tar = True +filter = [ + "local-packages/ocamlfind/doc/ref-html", + "local-packages/ocamlfind/tools/make-package-macosx" + ] |