Package: libctypes-ocaml
Version: 0.7.0-1
Severity: important
Dear Maintainer,
I have some CI depending on libctypes-ocaml, however, since september 14, it
isn't installable:
0 packages upgraded, 155 newly installed, 0 to remove and 0 not upgraded.
Need to get 98.9 MB/147 MB of archives. After u
Yesterday, I prepared a new otags package that builds fine with
4.05, see
https://lists.debian.org/debian-ocaml-maint/2017/09/msg00079.html
and
https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git .
The only thing that is missing now is somebody who sponsors an
upload.
Hendrik
I have a look at it, hopefully a new upstream version will fix
the problem.
Hendrik
On 14/09/17 15:44, Ximin Luo wrote:
> Stéphane Glondu:
>> On 15/08/2017 22:16, Emilio Pozuelo Monfort wrote:
>>> Control: tags -1 confirmed
>>> [...]
ocaml 4.05.0 and a few selected packages have been uploaded to
experimental and build fine on all architectures [3].
>>>
So, basically
Source: otags
Version: 4.02.2-2
Severity: serious
Tags: buster sid
https://buildd.debian.org/status/package.php?p=otags&suite=sid
...
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<>'
./configure --prefix /usr
ocamlc version 4.05.0 found.
This version of otags needs 4.0
Source: hol-light
Version: 20170109-2
Severity: serious
https://buildd.debian.org/status/package.php?p=hol-light&suite=sid
...
0..0..1..4..11..25..51..106..solved at 153
0..0..1..4..11..solved at 21
0..0..1..5..15..37..85..209..492..solved at 962
0..0..1..4..11..25..55..120..227..404..688..1152..
Source: ocaml-gen
Version: 0.4.0.1-1
Severity: serious
https://buildd.debian.org/status/package.php?p=ocaml-gen&suite=sid
...
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<>'
./configure --destdir '/<>/debian/tmp' --prefix /usr --docdir
/usr/share/doc/libgen-ocaml-dev
7 matches
Mail list logo
