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

Bug#840532: marked as done (ITP: curry-frontend -- Lexer, parser, type checker, etc. for the programming language Curry)

Your message dated Thu, 26 Jan 2017 22:00:13 +0000
with message-id <E1cWs5V-0006Ho-PD@fasolo.debian.org>
and subject line Bug#840532: fixed in curry-frontend 0.4.2-1
has caused the Debian Bug report #840532,
regarding ITP: curry-frontend -- Lexer, parser, type checker, etc. for the programming language Curry
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.)


-- 
840532: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840532
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-frontend
  Version         : 0.4.0
  Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL             : https://git.ps.informatik.uni-kiel.de/curry/curry-frontend-all
* License         : BSD-3-clause
  Programming Lang: Haskell
  Description     : Lexer, parser, type checker, etc. for the programming language Curry

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

We believe that the bug you reported is fixed in the latest version of
curry-frontend, 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 840532@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-frontend 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: Wed, 21 Dec 2016 13:54:41 +0000
Source: curry-frontend
Binary: libghc-curry-frontend-dev libghc-curry-frontend-prof libghc-curry-frontend-doc curry-frontend
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:
 curry-frontend - ${haskell:ShortDescription}${haskell:ShortBlurb}; executable
 libghc-curry-frontend-dev - ${haskell:ShortDescription}${haskell:ShortBlurb}
 libghc-curry-frontend-doc - ${haskell:ShortDescription}${haskell:ShortBlurb}
 libghc-curry-frontend-prof - ${haskell:ShortDescription}${haskell:ShortBlurb}
Closes: 840532
Changes:
 curry-frontend (0.4.2-1) unstable; urgency=low
 .
   * Initial release. (Closes: #840532).
Checksums-Sha1:
 cb2c3d80c901869fc43bf1fde7b9514a024be3d5 2979 curry-frontend_0.4.2-1.dsc
 15cca6ee3cfedcf908eced9777b5efeabaf40331 208647 curry-frontend_0.4.2.orig.tar.gz
 da17ce1124807ad2e495382d53675060da872f05 6412 curry-frontend_0.4.2-1.debian.tar.xz
 2402457182a4ec0066ab1adf1ac9187c41cbce78 9475 curry-frontend_0.4.2-1_amd64.buildinfo
 91c30bb5988fe9699bd7be0dbee80d0547c77b78 1338084 curry-frontend_0.4.2-1_amd64.deb
 3b1f0a8f2592a6bf04c9cee5b826b6344508f1b4 1398976 libghc-curry-frontend-dev_0.4.2-1_amd64.deb
 454ad89a4f31cac6a86c4dcfc38c5a2970dcbfc1 330042 libghc-curry-frontend-doc_0.4.2-1_all.deb
 c1be7ba77e330bba6813550de1fc14853876fbcd 1278520 libghc-curry-frontend-prof_0.4.2-1_amd64.deb
Checksums-Sha256:
 26ed8f025d0ba1231976b71189cfab987c4958741f4cc2d3d0ec771d60bf3c72 2979 curry-frontend_0.4.2-1.dsc
 0d41dcd6e2b13810d984191d2bdf0ed19ea80c06eedd33576820a39e6a3de762 208647 curry-frontend_0.4.2.orig.tar.gz
 4c1b16d803e6a301103b7136aa33de21afdc5f23f442a8c68de897af1983bf16 6412 curry-frontend_0.4.2-1.debian.tar.xz
 af6effba8ffdba550aa395e3706c92dbf21c042fed3d6d1a9224ee1402fa1fe5 9475 curry-frontend_0.4.2-1_amd64.buildinfo
 f8dc4ea6fcfc1e6448389ec1e71f6d4b68311f1af3ad78efe4b0fffa4a0d8089 1338084 curry-frontend_0.4.2-1_amd64.deb
 57a9d4d244faa4047973361220c9aee5085713aedc3a41ad30be70e782c8a38c 1398976 libghc-curry-frontend-dev_0.4.2-1_amd64.deb
 bff2d69b1f9de8d26e42a4c363fc5368eff91fa37ac09c8736e88d0ad80e3a01 330042 libghc-curry-frontend-doc_0.4.2-1_all.deb
 d6b987eb9c4a1730215687fb6c4335d7edc44634f63d7dac04d7ba3ed6684ee1 1278520 libghc-curry-frontend-prof_0.4.2-1_amd64.deb
Files:
 f5b02f320f89d82fa4ec5b38dafe998f 2979 haskell extra curry-frontend_0.4.2-1.dsc
 7428b42d4ede54c870bd74a260fc44bc 208647 haskell extra curry-frontend_0.4.2.orig.tar.gz
 6c4e7e90ef5386018b2682d3e3287e90 6412 haskell extra curry-frontend_0.4.2-1.debian.tar.xz
 90f6fa9aab6c681660ad44fd0380ab8e 9475 haskell extra curry-frontend_0.4.2-1_amd64.buildinfo
 08c8283f9d1171cbc4e2d80edd7d6087 1338084 misc extra curry-frontend_0.4.2-1_amd64.deb
 25b39794c0aaf47f9476e3f02492cf82 1398976 haskell extra libghc-curry-frontend-dev_0.4.2-1_amd64.deb
 2296f4cd7a90db7e2978e649c9cf6b11 330042 doc extra libghc-curry-frontend-doc_0.4.2-1_all.deb
 ef23416d5934867bc0f082e756e60570 1278520 haskell extra libghc-curry-frontend-prof_0.4.2-1_amd64.deb

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

iQIcBAEBCAAGBQJYWwp2AAoJEJr0azAldxsx6YsQALfYX+fv6dMe+cz4+2H9J5/1
wMPmu6HBJx+CRojwztp6pStETi3/cKkpf+4lQ2dwoI6zWLNhYTJDOkwd7uY/uq3k
B9Iws+ATICA85gTxQJ0WsnoQc0i0l0X6ri0EoGcpDx7BITp6hFE+EToDsNldyJwE
GphFC2VpfFoFGa8+ZHjG4CP7U+/Znb7/rAa0YL9nM0Xv6xSz+8Iyp53Xtk+CL8Fw
fTdEzbwNRVaW/drmAD0UAl9lvafzhDGCy29tydMXvmcNquqATB6TukMfX5S7D0ME
4fNIEKHdoC5VJgcIVtyhHiSSdrvbR3s89rqO9SNV4r0MToDEroLEhxdqBn9u70No
1iBegGtRyL3vBV8O8vwwuead6xMDUKHciQsFkwY5D4FLSlPAacJyfEv/9mfa4LDc
DTgqB0g+h1+mrkwKYyVn623J748CPfkSMD50srO67dBuQx1LO0kmr2B4w/v+uYL2
dZwI17RGJhfZ5DQn7Nwt/JY4eMBZf3j0vbXKtWgy8PqvcIII4ZG/KjiS9nWt/fjT
1UxjUedVud89fN3uXA2h7t5sNkGkST0y1X1QlhyVolu8cBH09hp5gaBE9sGt80yx
rl6ytsgoElb+8d5MGQV3/nJQgyrcDWmBiCA01jzyVzrqPeyk2C/PqR1WBA5wfFVg
hSgM9j675NC06REPYaWT
=PZci
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: