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/libcoq-ocaml.install.in | |
| 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/libcoq-ocaml.install.in')
0 files changed, 0 insertions, 0 deletions