patch header format
Ralf Treinen
3 years ago
| 0 | |
coq (8.12.0-2) UNRELEASED; urgency=medium
|
|
0 |
coq (8.12.0-2) experimental; urgency=medium
|
| 1 | 1 |
|
| 2 | 2 |
* Patch remove-heavy-tests: also remove test bugs/closed/bug_4544.v
|
| 3 | 3 |
as it is a complexity test that tends to timeout on slow architectures.
|
| 4 | 4 |
|
| 5 | |
-- Ralf Treinen <treinen@debian.org> Tue, 01 Sep 2020 22:15:00 +0200
|
|
5 |
-- Ralf Treinen <treinen@debian.org> Sun, 06 Sep 2020 09:59:04 +0200
|
| 6 | 6 |
|
| 7 | 7 |
coq (8.12.0-1) experimental; urgency=medium
|
| 8 | 8 |
|
| 0 | |
From: Benjamin Barenblat <bbaren@debian.org>
|
| 1 | |
Date: Sun, 11 Aug 2019 18:33:22 +0200
|
| 2 | |
Subject: Remove heavyweight tests
|
| 3 | |
|
|
0 |
Author: Benjamin Barenblat <bbaren@debian.org>,
|
|
1 |
Ralf Treinen <treinen@debian.org>
|
|
2 |
Description: Remove heavyweight tests
|
|
3 |
Remove tests that use too much RAM or time to run on a buildd. (The MIPS
|
|
4 |
buildd is frequently the culprit, as MIPS lacks an OCaml native
|
|
5 |
compiler.)
|
| 4 | 6 |
Forwarded: not-needed
|
| 5 | |
|
| 6 | |
Remove tests that use too much RAM or time to run on a buildd. (The MIPS
|
| 7 | |
buildd is frequently the culprit, as MIPS lacks an OCaml native
|
| 8 | |
compiler.)
|
| 9 | 7 |
---
|
| 10 | 8 |
|
| 11 | 9 |
Index: coq/test-suite/success/Nsatz.v
|