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

Bug#760915: marked as done (ITP: cafeobj -- new generation algebraic specification and programming language)

Your message dated Tue, 07 Oct 2014 17:00:07 +0000
with message-id <E1XbY7L-0007jC-NR@franck.debian.org>
and subject line Bug#760915: fixed in cafeobj 1.5.0-1
has caused the Debian Bug report #760915,
regarding ITP: cafeobj -- new generation algebraic specification and 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.)


-- 
760915: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760915
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Norbert Preining <preining@logic.at>

* Package name    : cafeobj
  Version         : 1.5.0
  Upstream Author : Toshimi Sawada
* URL             : http://www.cafeobj.org/
* License         : BSD
  Programming Lang: Common Lisp
  Description     : new generation algebraic specification and programming language

CafeOBJ is a most advanced formal specification language which 
inherits many advanced features (e.g. flexible mix-fix syntax,
powerful and clear typing system with ordered sorts, parameteric
modules and views for instantiating the parameters, and module
expressions, etc.) from OBJ (or more exactly OBJ3) algebraic
specification language.

CafeOBJ is a language for writing formal (i.e. mathematical) 
specifications of models for wide varieties of software and systems, 
and verifying properties of them. CafeOBJ implements equational logic
by rewriting and can be used as a powerful interactive theorem proving
system. Specifiers can write proof scores also in CafeOBJ and doing
proofs by executing the proof scores.

CafeOBJ has state-of-art rigorous logical semantics based on
nstitutions. The CafeOBJ cube shows the structure of the various
logics underlying the combination of the various paradigms implemented
by the language. Proof scores in CafeOBJ are also based on institution
based rigorous semantics, and can be constructed using a complete set 
of proof rules.

--- End Message ---
--- Begin Message --- 
Source: cafeobj
Source-Version: 1.5.0-1

We believe that the bug you reported is fixed in the latest version of
cafeobj, 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 760915@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Norbert Preining <preining@debian.org> (supplier of updated cafeobj 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: Tue, 09 Sep 2014 19:17:24 +0900
Source: cafeobj
Binary: cafeobj
Architecture: source amd64
Version: 1.5.0-1
Distribution: unstable
Urgency: low
Maintainer: Norbert Preining <preining@debian.org>
Changed-By: Norbert Preining <preining@debian.org>
Description:
 cafeobj    - new generation algebraic specification and programming language
Closes: 760915
Changes:
 cafeobj (1.5.0-1) unstable; urgency=low
 .
   * first upload (Closes: #760915)
Checksums-Sha1:
 63f4288f315e17ffc46e68638ed4d6dc7d6563ca 1872 cafeobj_1.5.0-1.dsc
 b3a4ea0ba8aee0d9a8f076eea5ef7b489e33b26c 3265399 cafeobj_1.5.0.orig.tar.gz
 7392e285902e2914721fffae350add6cc113c566 4312 cafeobj_1.5.0-1.debian.tar.xz
 69056d4b4ed1a5c56c83604526904afbfcabd3ea 10406066 cafeobj_1.5.0-1_amd64.deb
Checksums-Sha256:
 7bcc5b9cb02a6002f6885c35336498e4342a33e41d779ecdab4a1729d7090d22 1872 cafeobj_1.5.0-1.dsc
 98e0771c9ccd4963f5a909b92687b27a74c57e2dfe791635a9c69d6d0d70229e 3265399 cafeobj_1.5.0.orig.tar.gz
 103786c7072b4e98a0b036b38afe30118dfb57e1b9b112b420e0fe4ca9817a9e 4312 cafeobj_1.5.0-1.debian.tar.xz
 e828c44b4f1833316a12c289e0ceca77e6a2167c150f77b7f151ca2a0343536f 10406066 cafeobj_1.5.0-1_amd64.deb
Files:
 95aa04396f23f231ef55c95d318be820 10406066 science optional cafeobj_1.5.0-1_amd64.deb
 c363a69b735751788ba46d29e552b729 1872 science optional cafeobj_1.5.0-1.dsc
 93e30a690781c03ceed45f6f5fc84ae5 3265399 science optional cafeobj_1.5.0.orig.tar.gz
 13dc72aaaeb9bb15e7edb3ac64dafa0d 4312 science optional cafeobj_1.5.0-1.debian.tar.xz

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

iQIVAwUBVA7mdWyspEiGDNwTAQg6rRAAtm3ZwZMG9iMJk369qklh98kGD9R+ta1a
wMouHlAAPoJSDtbgqFFjZOI9Bj1ZQu3sLYV8Ffz8yyp/m8pEyurRlOFAr37T4fAZ
rcfXnRbx0uHGzKtA0OdSa4/cZatX9w0bkv8ufNZWR0M6F34JLYxeyuUvTB9lyFE3
asppGCoYRA7HFxMjUs+iNnSUoVJIg1camasKy2qEUxHBW2uNrvJgJGIha2D5Ku1n
0ghEk/5yNoryRB7DXQ4yxx4kimD/4WDw3qKWl8zZpoT/wkcLSTBX+TDK7+R8z/As
brqgs60I1zH6cUgQDBfxV1S5+fY5q8xk6QbZh0SK9rvXsPCg3f8QZEf2wQHbZbCJ
FEVxQuDcqvkAG9n9p4b7P44QBNOaNeWDN2R1KyQkVVoawAIpvRw/OWbQypCqIkWn
sTri24KFDtELGIdU1eyzLAlX1heaCWwwfMTujSgzU9g5a9gVe996kKSR0z/mXG5P
AU6qm16aSmKRz5f2th0iwPFA+5+cxqrQQRSFJiYwLaA4firMtMhb3UYQO/608Hsj
2TO4Hr9cfWoxczpazKvHiuuF+EXj9utBD56x03NAtj9/Q7l1oc5/PEOkmYPiimAW
0/ZA7figNfTsw75i0j5vWpiQBdzd0FBHvDvWTinxA9OYLfeTgEpMPoxCyip6ttFF
9NjA37kzIgM=
=7/7g
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: