fix coqide.install for bytecode-only architectures
Ralf Treinen
4 years ago
| 1 | 1 | |
| 2 | 2 | * Patch install-coqide-bytecode: fix instalaltion of ide on bytecode-only |
| 3 | 3 | architectures. |
| 4 | ||
| 5 | -- Ralf Treinen <treinen@debian.org> Sun, 26 Jan 2020 20:21:02 +0100 | |
| 4 | * Fix coqide.install for bytecode-only architectures | |
| 5 | ||
| 6 | -- Ralf Treinen <treinen@debian.org> Mon, 27 Jan 2020 03:26:43 +0100 | |
| 6 | 7 | |
| 7 | 8 | coq (8.9.1-3) unstable; urgency=medium |
| 8 | 9 |