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

Bug#862011: marked as done (O: mozart -- Mozart Programming System)



Your message dated Tue, 9 May 2017 19:23:56 +0300
with message-id <20170509162356.7x5v5akhg4rh3zpn@localhost>
and subject line mozart has been removed from Debian
has caused the Debian Bug report #862011,
regarding O: mozart -- Mozart Programming System
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.)


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

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

Mozart is an advanced development platform for intelligent,
distributed applications. It is based on the Oz language, which
supports declarative programming, object-oriented programming,
constraint programming, and concurrency as part of a coherent
whole. For distribution, Mozart provides a true network transparent
implementation with support for network awareness, openness, and fault
tolerance. Security is upcoming. Mozart is an ideal platform for both
general-purpose distributed applications as well as for hard problems
requiring sophisticated optimization and inferencing abilities.


Mozart 1.4 is dead upstream. I do not recommend that it is adopted and
re-introduced to Debian. It is limited to 32 bit architectures. It has
a very efficient byte code interpreter and networking systems which
rely on unsafe casting which is no longer accepted by our c++
compiler. Any adopter should be familiar with programming language
implementations and proficient with low level C++ semantics.

The language was used in the book Concepts, Techniques, and Models of
Computer Programming by Peter Van Roy and Seif Haridi
(https://www.info.ucl.ac.be/~pvr/book.html). I believe Mozart 1.4 is
mostly used for teaching language concepts now.

I will package Mozart2 (http://mozart.github.io/): This lacks
constraint and distribution support but is rewritten from scratch and
supports 64 bit architectures. If anyone is interested in this effort
please contact me.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJZDxJOAAoJEPOsSZia0TJFcw4P/Arz9XXc733CkmExKbiqi1uT
oE8a/C07deqe0MXFVJEywwkfIqkwi5i0pvtaoJl5oheJo1Rz1YgVpBNQ8dxEOmFn
MvBb16l50Sq4NVahXlAwIBjqc0VDLhbIUkRAicBTEL7/XUNIst8AjQIbGhEeQ/O7
HLjT67+/RaGJlH0QJGqIQO2NmV/tCoBOsGxG1gOoz5O4outaZNSjlFquLcuICelQ
1Y6V0ZPezyYKrGg31RXzynfhvvaExz4qp9lvL6zrdLlqjh2AjGuuy6SsoCPfD/a4
YMANYsJVnpsaiiZayl5ut7sLj7UwN7cjx6glWzV/UOBbMPylGz9aujLGZxReLLwq
bvgghjFM3zGCDnn6CLVJAc+IGBZy0HXKvBSA2Nj4nE+LQq4pGTquNz+TNmfV/lQL
2vE72/A2+aJztjYx5+W8Es50NeSbyj4/jXI2Z02Pw5PEPL9k7LfSJqILpbjA/Umx
2/9trEIfu7TkFRad6VnZiG/iuGhJeJ/YyBvRYP2Fn621aKsnCtwF7GYGWMnOAf/Q
HeI/Y+VlD1bzY2en4fNmN0DKxzQtOFjKCATnlX6Lw2eM8Kp6mxu2W4JnAxPfliUS
vtUbj+0t3xbbsoEmTr6WN9udfipDKIva/pxLTUcFb1bk5hCzGy3gbiC355ymVA8L
QTcE40m4Cqmjw6xBeHoY
=rTsl
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message ---
mozart has been removed from Debian:
  https://bugs.debian.org/862018

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed

--- End Message ---

Reply to: