Avoid build path ending up in binaries (Closes: #1030785)
authorStéphane Glondu <glondu@debian.org>
Wed, 8 Feb 2023 08:48:04 +0000 (09:48 +0100)
committerStéphane Glondu <glondu@debian.org>
Wed, 8 Feb 2023 09:57:38 +0000 (10:57 +0100)
commit2880abc366b57eba92c48a94c9c8db1a56bd666d
tree60654af7d5f625b6644ce730c01ff08875da6d20
parent786517734faf2bc5d73887c343e56fe80a829a7b
Avoid build path ending up in binaries (Closes: #1030785)
debian/patches/0008-Filter-out-f-debug-file-prefix-map-from-ocamlc_cflag.patch [new file with mode: 0644]
debian/patches/series
debian/rules