diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:46:58 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:30 -0500 |
| commit | 8c09d8af35c34798270b484f2dfe6098be2eb0a2 (patch) | |
| tree | 62059aff08fed3d9edd31c05ad7d7826bbf0fcbe /debian/patches/0005-5127-fails-on-mips.patch | |
| parent | f7be582a62a92dcc4516ce65111462092a6b524b (diff) | |
Refresh patches
Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since
upstream has increased the timeout.
Diffstat (limited to 'debian/patches/0005-5127-fails-on-mips.patch')
| -rw-r--r-- | debian/patches/0005-5127-fails-on-mips.patch | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/debian/patches/0005-5127-fails-on-mips.patch b/debian/patches/0005-5127-fails-on-mips.patch deleted file mode 100644 index 949c33a7..00000000 --- a/debian/patches/0005-5127-fails-on-mips.patch +++ /dev/null @@ -1,30 +0,0 @@ -From: Enrico Tassi <gareuselesinge@debian.org> -Date: Thu, 29 Dec 2016 08:56:45 +0100 -Subject: 5127 fails on mips - ---- - test-suite/bugs/closed/5127.v | 15 --------------- - 1 file changed, 15 deletions(-) - delete mode 100644 test-suite/bugs/closed/5127.v - -diff --git a/test-suite/bugs/closed/5127.v b/test-suite/bugs/closed/5127.v -deleted file mode 100644 -index 831e8fb..0000000 ---- a/test-suite/bugs/closed/5127.v -+++ /dev/null -@@ -1,15 +0,0 @@ --Fixpoint arrow (n: nat) := -- match n with -- | S n => bool -> arrow n -- | O => bool -- end. -- --Fixpoint apply (n : nat) : arrow n -> bool := -- match n return arrow n -> bool with -- | S n => fun f => apply _ (f true) -- | O => fun x => x -- end. -- --Axiom f : arrow 10000. --Definition v : bool := Eval compute in apply _ f. --Definition w : bool := Eval vm_compute in v. |