Processing commands for [email protected]: > retitle 1122492 why3: FTBFS:/bin/sh: 1: ccomps: not found Bug #1122492 [src:why3] why3: FTBFS: Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Changed Bug title to 'why3: FTBFS:/bin/sh: 1: ccomps: not found' from 'why3: FTBFS: Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory")'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1122492: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1122492 Debian Bug Tracking System Contact [email protected] with problems
