summaryrefslogtreecommitdiff
path: root/p/agda
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2016-06-12 16:07:13 +0900
committerSean Whitton <spwhitton@spwhitton.name>2016-06-12 16:07:13 +0900
commit8a52ce24b9a55f5d3ceaa2fb507af57f285bcaf6 (patch)
tree0be819d49a57c7cf04a6b65063f10e2b92aa88e0 /p/agda
parent2cf887b416ebf14b151cc957ab348a753e72eae7 (diff)
downloadDHG_packages-8a52ce24b9a55f5d3ceaa2fb507af57f285bcaf6.tar.gz
agda: override binary-or-shlib-defines-rpath
Diffstat (limited to 'p/agda')
-rw-r--r--p/agda/debian/changelog1
-rw-r--r--p/agda/debian/lintian-overrides1
2 files changed, 2 insertions, 0 deletions
diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 372f14dd9..100c71045 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -16,6 +16,7 @@ agda (2.5.1-1) UNRELEASED; urgency=medium
- New binary package elpa-agda2-mode.
- agda-mode now a transitional dummy package.
- Add patch creating file agda2-mode-pkg.el.
+ * Add standard Haskell Lintian override for binary-or-shlib-defines-rpath.
* Add myself as an uploader.
* Update Vcs-* for merge into DHG_packages.git
* Run wrap-and-sort -abst
diff --git a/p/agda/debian/lintian-overrides b/p/agda/debian/lintian-overrides
new file mode 100644
index 000000000..25d3d4c31
--- /dev/null
+++ b/p/agda/debian/lintian-overrides
@@ -0,0 +1 @@
+binary-or-shlib-defines-rpath