Processed: Bug#1013362 marked as pending in alt-ergo

2022-07-04 Thread Debian Bug Tracking System
Processing control commands: > tag -1 pending Bug #1013362 [src:alt-ergo] src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel Added tag(s) pending. -- 1013362: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013362 Debian Bug Tracking System Contact ow

Bug#1013362: marked as pending in alt-ergo

2022-07-04 Thread Julien Puydt
Control: tag -1 pending Hello, Bug #1013362 in alt-ergo reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/605e7a1e687fe1afa5a0e0b0b35