Bug#718748: oasis: FTBFS on armhf

2013-08-12 Thread Hendrik Tews
forwarded 718748 https://forge.ocamlcore.org/tracker/index.php?func=detailaid=1306group_id=54atid=291 tags 718748 confirmed upstream thanks Hi, Hector Oron zu...@debian.org writes: Your package fails to build from source on Debian autobuilder network. Thanks for recording this issue

Processed: Re: Bug#718748: oasis: FTBFS on armhf

2013-08-12 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: forwarded 718748 https://forge.ocamlcore.org/tracker/index.php?func=detailaid=1306group_id=54atid=291 Bug #718748 [src:oasis] oasis: FTBFS on armhf Set Bug forwarded-to-address to 'https://forge.ocamlcore.org/tracker/index.php?func=detailaid

Bug#718748: oasis: FTBFS on armhf

2013-08-12 Thread Hector Oron
Hello, 2013/8/12 Hendrik Tews t...@os.inf.tu-dresden.de: Please tell me if this build failure is a real problem for you, because I'll then prepare 0.3.0-3 with tests disabled again. This is not a real issue to me, just trying to keep the ARM ports sane. Thanks, -- Héctor Orón -.. . -...

Bug#718748: oasis: FTBFS on armhf

2013-08-04 Thread Hector Oron
Source: oasis Version: 0.3.0-2 Severity: serious Justification: FTBFS Hello, Your package fails to build from source on Debian autobuilder network. Please check your package build logs at: https://buildd.debian.org/status/fetch.php?pkg=oasisarch=armhfver=0.3.0-2stamp=1375655642 Best