Processed: retitle 1122492 to why3: FTBFS:/bin/sh: 1: ccomps: not found
Processing commands for control@bugs.debian.org:
> 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 owner@bugs.debian.org with problems
Reply to: