Processed: Fixed in next upload
"Debian Bug Tracking System" <[email protected]> Tue, 28 Jul 2026 10:21:02 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
Processing commands for [email protected]: > fixed 1044207 1.3.2-9.2-2 Bug #1044207 [src:coq-equations] coq-equations: Fails to build source after= successful build The source 'coq-equations' and version '1.3.2-9.2-2' do not appear to match= any binary packages Marked as fixed in versions coq-equations/1.3.2-9.2-2. > thanks Stopping processing here. Please contact me if you need assistance. --=20 1044207: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1044207 Debian Bug Tracking System Contact [email protected] with problems