[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#352008: marked as done (libfacile-ocaml-dev: timestamp skew issues in binary package)

Your message dated Thu, 09 Feb 2006 10:02:22 -0800
with message-id <E1F7G7a-0007K4-CI@spohr.debian.org>
and subject line Bug#352008: fixed in facile 1.1-4
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message --- 
Package: libfacile-ocaml-dev
Version: 1.1-3
Severity: grave
Justification: not usable by non-root users in the most common case

The kdeedu package is failing to build on several architectures because the
timestamps on /usr/lib/ocaml/3.09.1/facile/facile.cmi and
/usr/lib/ocaml/3.09.1/facile/facile.mli are wrong, causing any Makefile with
a .mli/.cmi rule to try to rebuild the out-of-date .cmi file:

[...]
ocamlc -I +facile -c /usr/lib/ocaml/3.09.1/facile/facile.mli
I/O error: /usr/lib/ocaml/3.09.1/facile/facile.cmi: Permission denied
make[5]: *** [/usr/lib/ocaml/3.09.1/facile/facile.cmi] Error 2
make[5]: Leaving directory /build/buildd/kdeedu-3.5.1/build-tree/obj-arm-linux-gnu/kalzium/src/solver'
make[4]: *** [all-recursive] Error 1
[...]

http://buildd.debian.org/fetch.php?pkg=kdeedu&arch=arm&ver=4%3A3.5.1-1&stamp=1138881380&file=log

If the .mli files really need to be installed, please make sure they are
installed *before* the .cmi files so that the .cmi's aren't treated as out
of date by make.

-- 
Steve Langasek                   Give me a lever long enough and a Free OS
Debian Developer                   to set it on, and I can move the world.
vorlon@debian.org                                   http://www.debian.org/

Attachment: signature.asc
Description: Digital signature


--- End Message ---
--- Begin Message --- 
Source: facile
Source-Version: 1.1-4

We believe that the bug you reported is fixed in the latest version of
facile, which is due to be installed in the Debian FTP archive:

facile_1.1-4.diff.gz
  to pool/main/f/facile/facile_1.1-4.diff.gz
facile_1.1-4.dsc
  to pool/main/f/facile/facile_1.1-4.dsc
libfacile-ocaml-dev_1.1-4_i386.deb
  to pool/main/f/facile/libfacile-ocaml-dev_1.1-4_i386.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 352008@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Steffen Joeris <steffen.joeris@skolelinux.de> (supplier of updated facile package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Thu,  9 Feb 2006 12:52:11 +0100
Source: facile
Binary: libfacile-ocaml-dev
Architecture: source i386
Version: 1.1-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Steffen Joeris <steffen.joeris@skolelinux.de>
Description: 
 libfacile-ocaml-dev - functional constraint library implemented in objective caml
Closes: 352008
Changes: 
 facile (1.1-4) unstable; urgency=low
 .
   * Make sure that the *.mli files are installed before
     the *.cmi files (Closes: #352008)
Files: 
 af8f348374f822de0392f8a998d77be3 697 libdevel optional facile_1.1-4.dsc
 78ae570f08bd19727f602ab155051c06 3129 libdevel optional facile_1.1-4.diff.gz
 e0c8549c104872a1b9a7470c2c2b6c3c 659798 libdevel optional libfacile-ocaml-dev_1.1-4_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)

iD8DBQFD64DjIae1O4AJae8RAliKAJ9bECikBLDex4jAroezgHtv+SyanQCffiOz
9NwoocjcldE6+dQOIW2shxA=
=hb+w
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: