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

Bug#844522: marked as done (ITP: curry-base -- Functions for manipulating Curry programs)

Your message dated Thu, 26 Jan 2017 22:00:12 +0000
with message-id <E1cWs5U-0006HJ-HZ@fasolo.debian.org>
and subject line Bug#844522: fixed in curry-base 0.4.2-1
has caused the Debian Bug report #844522,
regarding ITP: curry-base -- Functions for manipulating Curry programs
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
844522: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844522
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

* Package name    : curry-base
  Version         : 0.4.1
  Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL             : https://git.ps.informatik.uni-kiel.de/curry/curry-base/
* License         : BSD-3-clause
  Programming Lang: Haskell
  Description     : Functions for manipulating Curry programs

 This package serves as a foundation for Curry compilers.
 It defines the intermediate language formats FlatCurry and
 ExtendedFlat. Additionally, it provides functionality
 for the smooth integration of compiler frontends and backends.
 .
 This package is a build requirement for the curry-frontend tool.
 .
 This package will be maintained in Debian as part of my work at Kiel
 University, Germany.

--- End Message ---
--- Begin Message --- 
Source: curry-base
Source-Version: 0.4.2-1

We believe that the bug you reported is fixed in the latest version of
curry-base, which is due to be installed in the Debian FTP archive.

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 844522@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mike Gabriel <sunweaver@debian.org> (supplier of updated curry-base 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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 17 Dec 2016 15:19:07 +0100
Source: curry-base
Binary: libghc-curry-base-dev libghc-curry-base-prof libghc-curry-base-doc
Architecture: source amd64 all
Version: 0.4.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
 libghc-curry-base-dev - Functions for manipulating Curry programs
 libghc-curry-base-doc - Functions for manipulating Curry programs; documentation
 libghc-curry-base-prof - Functions for manipulating Curry programs; profiling libraries
Closes: 844522
Changes:
 curry-base (0.4.2-1) unstable; urgency=low
 .
   * Initial release to Debian. (Closes: #844522).
Checksums-Sha1:
 9d696654797156237698e2245fba9c0bd9f8e2d7 2530 curry-base_0.4.2-1.dsc
 534140c476875e7bc6fa0b412c5ba70d2da11c9f 98621 curry-base_0.4.2.orig.tar.gz
 772b85704e5594c3d2ba4ae05f83ffbcd96be085 3088 curry-base_0.4.2-1.debian.tar.xz
 ef7753500d0d071712f15ee4b530684e728ff79c 8350 curry-base_0.4.2-1_amd64.buildinfo
 9f1f5b42cd9f351783002685e4faa140d495925c 1730726 libghc-curry-base-dev_0.4.2-1_amd64.deb
 2e6cfdf2bc4747af230f6693625deb7d022e3436 296498 libghc-curry-base-doc_0.4.2-1_all.deb
 24b7864965a8328ae61908a43b6a6a4c0d6872eb 1587076 libghc-curry-base-prof_0.4.2-1_amd64.deb
Checksums-Sha256:
 4e37020815e149abbedc7e72cfe62f125eefb6f5d879e3e6a8c171f251301427 2530 curry-base_0.4.2-1.dsc
 9e3174d6e7ad5992d4cb618032860908ea5278252b0113823a37dd9692d9812c 98621 curry-base_0.4.2.orig.tar.gz
 8658e8ff619799e135005ec42e40a3ebe65441d1f69fffb5a7167db997a53263 3088 curry-base_0.4.2-1.debian.tar.xz
 86fbb2959a23a7ff45ecf7e3b91c0f7f138fd48cf3b045f2aded06a8d5e35c1e 8350 curry-base_0.4.2-1_amd64.buildinfo
 07b6624bcf4646c84199efbe1726b5fe4afbbb72a4fb9d7844f8d035fcc607c1 1730726 libghc-curry-base-dev_0.4.2-1_amd64.deb
 e57995c624af3116cc603d210f67dbf39014c437db1416c6f39612ca303cb82a 296498 libghc-curry-base-doc_0.4.2-1_all.deb
 0c38ef2377a6a4c00e00e5fcebc8855038b8a2237b56a3bb3c1f5f4474541ffc 1587076 libghc-curry-base-prof_0.4.2-1_amd64.deb
Files:
 987a0fc05e3104d2877526124a8a87a5 2530 haskell optional curry-base_0.4.2-1.dsc
 8a7242b4c24e92238ca9438cf85fa372 98621 haskell optional curry-base_0.4.2.orig.tar.gz
 73fc3c6694d766be5a9e613423911d3b 3088 haskell optional curry-base_0.4.2-1.debian.tar.xz
 414b9ad9fe691b4e6bda845c5d186488 8350 haskell optional curry-base_0.4.2-1_amd64.buildinfo
 6116b88d48584e302cebdfdfc1801edf 1730726 haskell optional libghc-curry-base-dev_0.4.2-1_amd64.deb
 357e0e85aa59d840b5b67f89c925242f 296498 doc optional libghc-curry-base-doc_0.4.2-1_all.deb
 e1968e1e588d646576462b17af8d3299 1587076 haskell optional libghc-curry-base-prof_0.4.2-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYVUqsAAoJEJr0azAldxsx2rgP+wd2yVxCIX+px6+L12y4zE+X
x7aLvSX8FjSzAl/+mK6W32NxYyQobUqcV3N8QaLAC8PN6jDAsm3TQW8kg3SneZEj
pbJ3y7vnApcCwn+3gwbGY+cy7DjWU3E8qkFO/pQZQMwiNjtV+WkmCua8HHPnQKRK
oY8YR5uOH+eCuTRpOoBQ+hR8gxW2O4jgT1Sxr7aKmxPbdobolokTdEFOBZy2q0T4
ANIKwSOQT/BStzSVxTaCKVtXghd9bliAd+W4ic/N5scyW1plupVfkoMbC641ajvv
Kglenp60cWpM54//YijeDuy1jlrNpAIDKRUVTy66afOC4/ZF/kUJDToM7jo0Nq62
6+dkRRawlyq8Mq6+HRzbvtVX0c34TRUkI7qpu+m3RD0t5Fd07rvse4eZRzWGuGMR
ZsrSn262UcWXsBWIZjYIF0WOmadr6zxnalKC1ZCrFLg6EzntHcLrxv8i0Z3fJug/
yR5tH4fndP0+Tz4+WawBTaPgBDT/QlIOvroDifDyL5uAY0T/R3frwS1uMWJFvSGd
YRbF1sfPfhxZw5yDOYTmo6r/GrFRjEMGEbqGu0q0W75VrlNoq/h5eVPoNvBLWR3h
gcLVKalpuDZcIOxiUmwvn1A6O/uNEosl262r93EzG9NjHnq6BUniIEaiUql8Cxbj
2Ysl4p20brv/ET2DkuWA
=Gntg
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: