Processed: Fixed in next upload
"Debian Bug Tracking System" <[email protected]> Tue, 28 Jul 2026 16:07:02 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
Processing commands for [email protected]: > fixed 1105653 2.6.0-2 Bug #1105653 [src:ssreflect] ssreflect: FTBFS with make --shuffle=3Dreverse= : make[4]: *** [Makefile.coq:818: ssreflect/ssrfun.vo] Error 1 shuffle=3Dre= verse The source 'ssreflect' and version '2.6.0-2' do not appear to match any bin= ary packages Marked as fixed in versions ssreflect/2.6.0-2. > thanks Stopping processing here. Please contact me if you need assistance. --=20 1105653: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1105653 Debian Bug Tracking System Contact [email protected] with problems