Bug#586153: marked as done (ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features)
Your message dated Sun, 27 Jun 2010 11:47:15 +0000
with message-id <E1OSqKR-0000Jy-JP@ries.debian.org>
and subject line Bug#586153: fixed in jcsp 1.1-rc4-1
has caused the Debian Bug report #586153,
regarding ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features
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.)
--
586153: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=586153
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Miguel Landaeta <miguel@miguel.cc>
* Package name : jcsp
Version : 1.1-rc4
Upstream Author : Peter Welch, Paul Austin
* URL : http://www.cs.kent.ac.uk/projects/ofa/jcsp/
* License : LGPL-2.1
Programming Lang: Java
Description : Java library providing Communicating Sequential Processes (CSP) features
JCSP (Communication Sequential Processes for Java) is a
library providing a concurrency model that is a combination
of ideas from Hoare's CSP and Milner's pi-calculus.
.
Communicating Sequential Processes (CSP) is a mathematical
theory for specifying and verifying complex patterns of
behaviour arising from interactions between concurrent
objects.
.
JSCP provides a base range of CSP primitives plus a rich set of
extensions. Also included is a package providing CSP process
wrappers giving a channel interface to all Java AWT widgets
and graphics operations. It is extensively (javadoc)umented
and includes much teaching.
.
JCSP is an alternative concurrency model to the threads and
mechanisms built into Java. It is also compatible with
it since it is implemented on top of it.
--
Miguel Landaeta, miguel at miguel.cc
secure email with PGP 0x7D8967E9 available at http://keyserver.pgp.com/
"Faith means not wanting to know what is true." -- Nietzsche
--- End Message ---
--- Begin Message ---
Source: jcsp
Source-Version: 1.1-rc4-1
We believe that the bug you reported is fixed in the latest version of
jcsp, which is due to be installed in the Debian FTP archive:
jcsp_1.1-rc4-1.debian.tar.gz
to main/j/jcsp/jcsp_1.1-rc4-1.debian.tar.gz
jcsp_1.1-rc4-1.dsc
to main/j/jcsp/jcsp_1.1-rc4-1.dsc
jcsp_1.1-rc4.orig.tar.gz
to main/j/jcsp/jcsp_1.1-rc4.orig.tar.gz
libjcsp-java-doc_1.1-rc4-1_all.deb
to main/j/jcsp/libjcsp-java-doc_1.1-rc4-1_all.deb
libjcsp-java_1.1-rc4-1_all.deb
to main/j/jcsp/libjcsp-java_1.1-rc4-1_all.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 586153@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Miguel Landaeta <miguel@miguel.cc> (supplier of updated jcsp 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.8
Date: Sun, 20 Jun 2010 18:12:26 -0430
Source: jcsp
Binary: libjcsp-java libjcsp-java-doc
Architecture: source all
Version: 1.1-rc4-1
Distribution: unstable
Urgency: low
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Changed-By: Miguel Landaeta <miguel@miguel.cc>
Description:
libjcsp-java - Java library providing Communicating Sequential Processes (CSP) f
libjcsp-java-doc - Documentation for libjcsp-java
Closes: 586153
Changes:
jcsp (1.1-rc4-1) unstable; urgency=low
.
* Initial release. (Closes: #586153).
Checksums-Sha1:
f719073a9d1ff06a1b7cea66d235e3a529a9a7ee 1226 jcsp_1.1-rc4-1.dsc
c9fd1a1b995cbf41fbfb6665b1cd975f374f5d8f 1281777 jcsp_1.1-rc4.orig.tar.gz
514f5816157235b95f9f8dae2924652900d7ed20 2653 jcsp_1.1-rc4-1.debian.tar.gz
391901aa09ef3aee70cd14d89d278b7b8715e533 605518 libjcsp-java_1.1-rc4-1_all.deb
8c3aa289cc308be4e7543df3a63bd0335abc1d45 2726756 libjcsp-java-doc_1.1-rc4-1_all.deb
Checksums-Sha256:
2ce16d4d91c24c04f014d54392f4942f91af1794f649d4935d1252214682ca13 1226 jcsp_1.1-rc4-1.dsc
650325282af050f31e65b75245d2dafc06d923f17fbe24abdbe1ea7af69f160b 1281777 jcsp_1.1-rc4.orig.tar.gz
e2e43a2e0ce69d01e17a00545018ec03ca2804dd71e42c4cb74bd764f1457736 2653 jcsp_1.1-rc4-1.debian.tar.gz
86f35f3c37bd97d904630a38f758d35bb7ea9ae2b9648225ec32f2f8cf3ebf34 605518 libjcsp-java_1.1-rc4-1_all.deb
06c60fd6ba4e0c519ddb10eb9246e24e1c47424d9f4b0f1a0783256117f13390 2726756 libjcsp-java-doc_1.1-rc4-1_all.deb
Files:
155e9e8baee5bd27cc2cee4fd713766d 1226 java optional jcsp_1.1-rc4-1.dsc
5266bec93b5cac7e1685d85988cda45b 1281777 java optional jcsp_1.1-rc4.orig.tar.gz
d7b93eb4755b0b0a7df32aa4f9609039 2653 java optional jcsp_1.1-rc4-1.debian.tar.gz
df8f4e7f5b0caf2433ef6042252a2d91 605518 java optional libjcsp-java_1.1-rc4-1_all.deb
e61339018e18246339c7f8e38ba03080 2726756 doc optional libjcsp-java-doc_1.1-rc4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkwgS0MACgkQfY3dicTPjsOOOACdEbpXwIwxcPOEVcEiEsVeuoZ8
sAMAoJEsZni9vrA0tHioxqg0ZPBZD3zM
=dd2l
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: