diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-07-25 17:27:36 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-07-25 17:27:36 -0700 |
commit | b17e6126389b9276bc8c50ea677ca9f2c0b27724 (patch) | |
tree | c847ae624a8db372aa3b251de8554c24d943894d /debian/patches/series | |
parent | ad5fa01e53f56ddac6757acd0e192c6606ef619e (diff) | |
download | git-repair-debian/1.20151215-1.1.tar.gz |
Commit Debian 3.0 (quilt) metadatadebian/1.20151215-1.1archive/debian/1.20151215-1.1
[dgit (3.12) quilt-fixup]
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..965db20 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1,3 @@ +fix-build-with-quickcheck-2.8.2.patch +split-out-module-to-work-around-badly-na.patch +patch-common.hs-to-avoid-duplicate-impor.patch |