Bug#1143518: coq-gappa: autopkgtest regression
Adrian Bunk <[email protected]> Mon, 03 Aug 2026 17:00:14 +0300
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <178576561489.3444391.1852730512706891034.reportbug__14577.1921890386$1785765691$gmane$org@localhost> |
U291cmNlOiBjb3EtZ2FwcGEKVmVyc2lvbjogMS4xMC4wLTIKU2V2ZXJpdHk6IHNlcmlvdXMKWC1E ZWJidWdzLUNjOiBKdWxpZW4gUHV5ZHQgPGpwdXlkdEBkZWJpYW4ub3JnPgoKaHR0cHM6Ly90cmFj a2VyLmRlYmlhbi5vcmcvcGtnL2NvcS1nYXBwYQoKTWlncmF0aW9uIHN0YXR1cyBmb3IgY29xLWdh cHBhICgxLjcuMC0xIHRvIDEuMTAuMC0yKTogQkxPQ0tFRDogUmVqZWN0ZWQvdmlvbGF0ZXMgbWln cmF0aW9uIHBvbGljeS9pbnRyb2R1Y2VzIGEgcmVncmVzc2lvbgpJc3N1ZXMgcHJldmVudGluZyBt aWdyYXRpb246CuKImSDiiJkgQXV0b3BrZ3Rlc3QgZm9yIGNvcS1nYXBwYS8xLjEwLjAtMjogYW1k NjQ6IFJlZ3Jlc3Npb24g4pm7IChyZWZlcmVuY2Ug4pm7KSwgYXJtNjQ6IFJlZ3Jlc3Npb24g4pm7 IChyZWZlcmVuY2Ug4pm7KSwgcHBjNjRlbDogUmVncmVzc2lvbiDimbsgKHJlZmVyZW5jZSDimbsp LCByaXNjdjY0OiBSZWdyZXNzaW9uIOKZuyAocmVmZXJlbmNlIOKZuyksIHMzOTB4OiBSZWdyZXNz aW9uIOKZuyAocmVmZXJlbmNlIOKZuykKCi4uLgoxMzJzIFtkZXByZWNhdGVkLWRpcnBhdGgtQ29x LGRlcHJlY2F0ZWQtc2luY2UtOS4wLGRlcHJlY2F0ZWQsZGVmYXVsdF0KMTMycyBGaWxlICIvdG1w L2F1dG9wa2d0ZXN0LWx4Yy4yb2tyN2p6Yy9kb3dudG1wL2F1dG9wa2d0ZXN0X3RtcC9jaGVjay52 IiwgbGluZSAyMiwgY2hhcmFjdGVycyAyLTI5OgoxMzJzIFdhcm5pbmc6IENvcS5SZWFscy5SZGVm aW5pdGlvbnMuUmludiBoYXMgYmVlbiByZXBsYWNlZCBieQoxMzJzIFN0ZGxpYi5SZWFscy5SZGVm aW5pdGlvbnMuUmludi4KMTMycyBbZGVwcmVjYXRlZC1kaXJwYXRoLUNvcSxkZXByZWNhdGVkLXNp bmNlLTkuMCxkZXByZWNhdGVkLGRlZmF1bHRdCjEzMnMgRmlsZSAiL3RtcC9hdXRvcGtndGVzdC1s eGMuMm9rcjdqemMvZG93bnRtcC9hdXRvcGtndGVzdF90bXAvY2hlY2sudiIsIGxpbmUgMjIsIGNo YXJhY3RlcnMgMi0yOToKMTMycyBXYXJuaW5nOiBDb3EuUmVhbHMuUmJhc2ljX2Z1bi5SYWJzIGhh cyBiZWVuIHJlcGxhY2VkIGJ5CjEzMnMgU3RkbGliLlJlYWxzLlJiYXNpY19mdW4uUmFicy4KMTMy cyBbZGVwcmVjYXRlZC1kaXJwYXRoLUNvcSxkZXByZWNhdGVkLXNpbmNlLTkuMCxkZXByZWNhdGVk LGRlZmF1bHRdCjEzMnMgYXV0b3BrZ3Rlc3QgWzA2OjI2OjE4XTogQEBAQEBAQEBAQEBAQEBAQEBA QEAgc3VtbWFyeQoxMzJzIGNvbW1hbmQxICAgICAgICAgICAgIFBBU1MKMTMycyB0ZXN0c3VpdGUg ICAgICAgICAgICBGQUlMIHN0ZGVycjogRmlsZSAiL3RtcC9hdXRvcGtndGVzdC1seGMuMm9rcjdq emMvZG93bnRtcC9hdXRvcGtndGVzdF90bXAvY2hlY2sudiIsIGxpbmUgMSwgY2hhcmFjdGVycyAx NS0yMDoKLi4uCg==