Package: greenfoot
Installed-Size: 10000
Maintainer: Davin McCall <davmac@bluej.org>
Architecture: all
Version: 2.3.0
Depends: sun-java6-jdk | sun-java7-jdk | openjdk-6-jdk | openjdk-7-jdk
Priority: extra
Section: Programming
Filename: pool/main/g/greenfoot/greenfoot_2.3.0_all.deb
Size: 6752430
SHA256: 8aee10e0d84b0e73e916bed0b4746bc9a4dc6636e737ef04a3ff3fc5c71c5f04
SHA1: 2a89fba7a8c883c70393c5a7eac23417af21e75f
MD5sum: ae7de64d49f7959f609d0417eedf4d54
Description: A simple but powerful Java IDE.
  Go to <greenfoot.org> for more details.

Package: spin
Version: 6.2.5-0ubuntu1
Architecture: amd64
Depends: libc6
Maintainer: Seth Galitzer <sgsax@ksu.edu>
Homepage: http://spinroot.com
Priority: optional
Section: devel
Filename: pool/main/s/spin/spin_6.2.5-0ubuntu1_amd64.deb
Size: 370244
SHA256: 5ac32458b5d5f893e55d50320cb61ca0458276ccd94542fc4c6cdc874c2035f1
SHA1: 505a74eb175728a733c0ad6b6a953ebf90c9af49
MD5sum: 5c346be3f6090392dda1f761df3b55b1
Description: A software verification tool.
 Spin targets the efficient verification of multi-threaded software, not
 the verification of hardware circuits. The tool supports a high level
 language to specify systems descriptions called PROMELA (short for: PROcess
 MEta LAnguage). Spin has been used to trace logical design errors in
 distributed systems design, such as operating systems, data communications
 protocols, switching systems, concurrent algorithms, railway signaling
 protocols, control software for spacecraft, nuclear power plants, etc. The
 tool checks the logical consistency of a specification and reports on
 deadlocks, race conditions, different types of incompleteness, and
 unwarranted assumptions about the relative speeds of processes.

Package: swarm
Version: 3.1-0ubuntu1
Architecture: amd64
Depends: libc6, spin (>= 5.2.0)
Maintainer: Seth Galitzer <sgsax@ksu.edu>
Homepage: http://spinroot.com/swarm/
Priority: optional
Section: devel
Filename: pool/main/s/swarm/swarm_3.1-0ubuntu1_amd64.deb
Size: 21264
SHA256: 60465ed21d0a69b8770daa37eec70048bb1dad401b1730afa6fad178b5c37e7c
SHA1: c7bcd5fbc8537bfdb3f26955dd3189fea3bbc45c
MD5sum: 32fffd0a25c8cea3ab37f169710dd9d4
Description: verification script generator for Spin
 Swarm generates a script that performs many small verification jobs in
 parallel, that can increase the problem coverage for very large verification
 problems by about an order of magnitude compared to standard bitstate
 verification runs. It is meant to be used on models for which standard
 verification with exhaustive, bitstate, hash-compaction etc. either runs out
 of memory, or takes more time than is available (e.g., days or weeks). Swarm
 uses parallelism and search diversification to reach its objectives.

Package: xsb
Version: 3.4-0ubuntu1
Architecture: amd64
Maintainer: Seth Galitzer <sgsax@ksu.edu>
Homepage: http://xsb.sourceforge.net/
Priority: optional
Section: main
Filename: pool/main/x/xsb/xsb_3.4-0ubuntu1_amd64.deb
Size: 8323284
SHA256: 6e372c4f52d7ac920ec72e070f7d2f6f87b08fdad18b492b070b650a1c119e2c
SHA1: 589b420047c8bf35c7112eb8fadc0540916341fd
MD5sum: b33b1d2afa3aafa90463ae8108d6a1d8
Description: A Logic Programming and Deductive Database system for Unix. 
 XSB is being developed at a number of institutions, including the Computer
 Science Department of Stony Brook University, Universidade Nova de Lisboa,
 XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.