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

Bug#379682: marked as done (ITA: mercury -- A new logic/functional programming language)

Your message dated Sat, 24 May 2008 10:56:23 +0200
with message-id <20080524085623.GA3786@localhost>
and subject line Package removed
has caused the Debian Bug report #379682,
regarding ITA: mercury -- A new logic/functional programming language
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.)


-- 
379682: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=379682
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: normal

The current maintainer of mercury, Peter Hawkins <peterh@debian.org>,
has orphaned this package.

If you want to be the new maintainer, please take it -- see
http://www.debian.org/devel/wnpp/index.html#howto-o for detailed
instructions how to adopt a package properly.

Some information about this package:

Package: mercury
Binary: mercury, mercury-doc
Version: 0.11.0.rotd.20040511-5
Priority: optional
Section: devel
Maintainer: Peter Hawkins <peterh@debian.org>
Build-Depends: debhelper (>= 4.0.0), autotools-dev
Architecture: any
Standards-Version: 3.6.1
Format: 1.0
Directory: pool/main/m/mercury
Files:
 1627b56d6911456f627e52617cf56ef6 555 mercury_0.11.0.rotd.20040511-5.dsc
 1bae4aa44e741223346fa323a8cb0dc1 20910227 mercury_0.11.0.rotd.20040511-5.tar.gz

Package: mercury
Priority: optional
Section: devel
Installed-Size: 109388
Maintainer: Peter Hawkins <peterh@debian.org>
Architecture: i386
Version: 0.11.0.rotd.20040511-5
Depends: libc6 (>= 2.3.2.ds1-4), make
Conflicts: mmake
Filename: pool/main/m/mercury/mercury_0.11.0.rotd.20040511-5_i386.deb
Size: 25313164
MD5sum: 2a0d3c1ccb80f4c36e01c5c867a84c56
SHA1: 6e2b882a8640d42b33644bf5f830d196d5b8cd35
SHA256: 6959bbe494e77a5a29e64b58448a3518f80189b3de74dcf58a115d5e26ea9fcb
Description: A new logic/functional programming language
 Mercury is a new logic/functional programming language, which combines
 the clarity and expressiveness of declarative programming with advanced
 static analysis and error detection features.  Its highly optimized
 execution algorithm delivers efficiency far in excess of existing logic
 programming systems, and close to conventional programming
 systems. Mercury addresses the problems of large-scale program
 development, allowing modularity, separate compilation, and numerous
 optimization/time trade-offs.
 .
 This package contains all the files required for developing programs
 in the Mercury language.

Package: mercury-doc
Priority: optional
Section: devel
Installed-Size: 2096
Maintainer: Peter Hawkins <peterh@debian.org>
Architecture: all
Source: mercury
Version: 0.11.0.rotd.20040511-5
Filename: pool/main/m/mercury/mercury-doc_0.11.0.rotd.20040511-5_all.deb
Size: 965914
MD5sum: 7c87c1e18f13590da15a35a6b54338da
SHA1: 9bf1cf4ddb872060319fe63a598b780bd681409a
SHA256: 853ae26e8199a2d6e7b58acd69e699185e8d6e1e3ba96367e3aefe55e6a7be04
Description: Documentation for mercury
 Mercury is a new logic/functional programming language, which combines
 the clarity and expressiveness of declarative programming with advanced
 static analysis and error detection features.  Its highly optimized
 execution algorithm delivers efficiency far in excess of existing logic
 programming systems, and close to conventional programming
 systems. Mercury addresses the problems of large-scale program
 development, allowing modularity, separate compilation, and numerous
 optimization/time trade-offs.
 .
 This package contains the documentation for the Mercury compiler.
Tag: role::content:doc

-- 
adn
Mohammed Adnène Trojette

--- End Message ---
--- Begin Message --- 
mercury was removed from the archive (see #446665).

-- 
Thomas Huriaux

--- End Message ---
Reply to: