Bug#336852: marked as done (ITP: libfacile-dev -- functional constraint library implemented in objective caml)
Your message dated Mon, 21 Nov 2005 15:55:04 -0800
with message-id <E1EeLV2-0007HR-QJ@spohr.debian.org>
and subject line Bug#336852: fixed in facile 1.1-1
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)
--------------------------------------
Received: (at submit) by bugs.debian.org; 1 Nov 2005 16:58:43 +0000
>From steffen.joeris@skolelinux.de Tue Nov 01 08:58:43 2005
Return-path: <steffen.joeris@skolelinux.de>
Received: from shadowland.snow-crash.org (ned.snow-crash.org) [80.190.250.253] (postfix)
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1EWzT9-0006ha-00; Tue, 01 Nov 2005 08:58:43 -0800
Received: from [127.0.0.1] (p508A2022.dip0.t-ipconnect.de [80.138.32.34])
by ned.snow-crash.org (Postfix) with ESMTP id DEBFF335AF;
Tue, 1 Nov 2005 17:58:39 +0100 (CET)
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Steffen Joeris <steffen.joeris@skolelinux.de>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: libfacile-dev -- functional constraint library implemented in objective
caml
X-Mailer: reportbug 3.17
Date: Tue, 01 Nov 2005 17:58:31 +0100
X-Debbugs-Cc: debian-devel@lists.debian.org
Message-Id: <[🔎] 20051101165839.DEBFF335AF@ned.snow-crash.org>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-8.5 required=4.0 tests=BAYES_20,HAS_PACKAGE,
RCVD_IN_SORBS,X_DEBBUGS_CC autolearn=ham
version=2.60-bugs.debian.org_2005_01_02
Package: wnpp
Severity: wishlist
Owner: Steffen Joeris <steffen.joeris@skolelinux.de>
I think the lib is needed by some kde applications.
The Kalzium developer told me that this lib is needed
during the build of Kalzium.
* Package name : libfacile-dev
Version : 1.1
Upstream Author : Copyright (C) 2001, CENA
* URL : http://www.recherche.enac.fr/opti/facile
* License : GNU Lesser General Public License
Description : functional constraint library implemented in objective caml
FaCiLe is a constraint programming library over integer finite domain
written in Objective Caml. It offers all usual facilities to create
and manipulate finite domain variables, arithmetic expressions and
constraints (possibly non-linear), built-in global constraints and
search goals. FaCiLe allows as well to build easily user-defined
constraints and goals (including recursive ones), making pervasive use
of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet
another language", the user benefits from type inference and strong
typing discipline, high level of abstraction, modules and objects
system, as well as native code compilation efficiency, garbage
collection and replay debugger, all features of OCaml (among many
others) that allow to prototype and experiment quickly: modeling, data
processing and interface are implemented with the same powerful and
efficient language.
.
Web site: http://www.recherche.enac.fr/opti/facile
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.12-1-686
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1)
---------------------------------------
Received: (at 336852-close) by bugs.debian.org; 22 Nov 2005 00:01:25 +0000
>From joerg@spohr.debian.org Mon Nov 21 16:01:25 2005
Return-path: <joerg@spohr.debian.org>
Received: from joerg by spohr.debian.org with local (Exim 4.50)
id 1EeLV2-0007HR-QJ; Mon, 21 Nov 2005 15:55:04 -0800
From: Steffen Joeris <steffen.joeris@skolelinux.de>
To: 336852-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#336852: fixed in facile 1.1-1
Message-Id: <E1EeLV2-0007HR-QJ@spohr.debian.org>
Sender: Joerg Jaspert <joerg@spohr.debian.org>
Date: Mon, 21 Nov 2005 15:55:04 -0800
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Source: facile
Source-Version: 1.1-1
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-1.diff.gz
to pool/main/f/facile/facile_1.1-1.diff.gz
facile_1.1-1.dsc
to pool/main/f/facile/facile_1.1-1.dsc
facile_1.1.orig.tar.gz
to pool/main/f/facile/facile_1.1.orig.tar.gz
libfacile-ocaml-dev_1.1-1_i386.deb
to pool/main/f/facile/libfacile-ocaml-dev_1.1-1_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 336852@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: Sun, 30 Oct 2005 00:41:20 +0200
Source: facile
Binary: libfacile-ocaml-dev
Architecture: source i386
Version: 1.1-1
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: 336852
Changes:
facile (1.1-1) unstable; urgency=low
.
* Initial release (Closes: #336852)
Files:
dfb86bb05b65a79767fd336f64461cf2 697 libdevel optional facile_1.1-1.dsc
ab673e1fc0859a42bcb639a02c2d7e9e 96343 libdevel optional facile_1.1.orig.tar.gz
5b10bea56ddc871f1014b14f9b39713d 2797 libdevel optional facile_1.1-1.diff.gz
8f09847a72ddbb21b2bc1f4afa00d88b 658940 libdevel optional libfacile-ocaml-dev_1.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDfQlPIae1O4AJae8RAj/TAJwJVLkF9W2W7h7SS/KhJSRc7xzV7wCdHFf5
8LUV0vCzL752/hD27o5dOZg=
=UeJU
-----END PGP SIGNATURE-----
Reply to: