debian/0000755000000000000000000000000012214242526007166 5ustar debian/libjcsp-java-doc.javadoc0000644000000000000000000000007412214242416013626 0ustar dist/jcsp-1.1-rc4/jcsp-doc /usr/share/doc/libjcsp-java/api debian/watch0000644000000000000000000000035212214242416010215 0ustar version=3 opts=uversionmangle=s/(\d)[_\.\-\+]?((RC|rc|pre|dev|beta|alpha|b|a)[\-\.]?\d*)$/$1~$2/,dversionmangle=s/(\d)-?(rc\d*)$/$1~$2/ \ http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz)|jar) debian/rules0000755000000000000000000000131112214242416010240 0ustar #!/usr/bin/make -f export JAVA_HOME=/usr/lib/jvm/default-java UPSTREAM_VERSION := $(shell dpkg-parsechangelog | sed -n '/^Version:/s/^[^:]*: \(.*\)-.*$$/\1/p') %: dh --with javahelper $@ override_dh_auto_clean: dh_auto_clean -rm -rf dist mh_clean override_dh_install: mh_installpom -plibjcsp-java debian/pom.xml mh_installjar -plibjcsp-java -l debian/pom.xml dist/jcsp-*/jcsp.jar jh_installlibs --upstream-version=${UPSTREAM_VERSION} dist/jcsp-*/jcsp-core.jar dh_install override_dh_compress: dh_compress -X.java get-orig-source: cd $(dir $(firstword $(MAKEFILE_LIST)))../ && \ uscan \ --verbose \ --no-symlink \ --destdir $(CURDIR) \ --watchfile debian/watch \ --force-download debian/libjcsp-java-doc.install0000644000000000000000000000017112214242416013663 0ustar dist/jcsp-*/jcsp-core-doc/* usr/share/doc/libjcsp-java/core-api dist/jcsp-*/jcsp-demos usr/share/doc/libjcsp-java debian/changelog0000644000000000000000000000070312214242416011036 0ustar jcsp (1.1-rc4-2) unstable; urgency=low * Provide Maven artifacts. (Closes: #721950). * Bump Standards-Version to 3.9.4. No changes were required. * Update Vcs-* URLs. * Update copyright file. * Update watch file. -- Miguel Landaeta Thu, 05 Sep 2013 18:43:46 -0300 jcsp (1.1-rc4-1) unstable; urgency=low * Initial release. (Closes: #586153). -- Miguel Landaeta Sun, 20 Jun 2010 18:12:26 -0430 debian/patches/0000755000000000000000000000000012214242416010613 5ustar debian/patches/series0000644000000000000000000000003112214242416012022 0ustar include_ant-contrib.diff debian/patches/include_ant-contrib.diff0000644000000000000000000000143012214242416015366 0ustar Description: include ant-contrib jar in build classpath Author: Miguel Landaeta Forwarded: not-needed Last-Update: 2010-06-18 --- jcsp-1.1-rc4.orig/build.xml +++ jcsp-1.1-rc4/build.xml @@ -5,8 +5,15 @@ + + + + + - + + + debian/libjcsp-java.docs0000644000000000000000000000003612214242416012402 0ustar dist/jcsp-*/README-JCSP-*.txt debian/orig-tar.sh0000755000000000000000000000075412214242416011255 0ustar #!/bin/sh set -e # called by uscan with '--upstream-version' echo "version $2" package=`dpkg-parsechangelog | sed -n 's/^Source: //p'` version=$2 tarball=$3 TAR=${package}_${version}.orig.tar.gz DIR=${package}-${version}.orig REPO="http://projects.cs.kent.ac.uk/projects/jcsp/svn/jcsp/tags/${package}-${version}/" svn export $REPO $DIR GZIP=--best tar --numeric --group 0 --owner 0 -c -v -z -f $TAR \ --anchored -X debian/orig-tar.excludes $DIR rm -rf $tarball $DIR debian/source/0000755000000000000000000000000012214242416010464 5ustar debian/source/format0000644000000000000000000000001412214242416011672 0ustar 3.0 (quilt) debian/compat0000644000000000000000000000000212214242416010362 0ustar 7 debian/orig-tar.excludes0000644000000000000000000000001612214242416012443 0ustar jcsp-1*/*.pdf debian/copyright0000644000000000000000000000124212214242416011116 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: JCSP Upstream-Contact: Peter Welch Source: http://www.cs.kent.ac.uk/projects/ofa/jcsp/ Files: * Copyright: © 1996-2008 Peter Welch and Paul Austin, © 2001-2004 Quickstone Technologies Limited. License: LGPL-2.1 The full text of the GNU Lesser General Public License is distributed in /usr/share/common-licenses/LGPL-2.1 on Debian systems. Files: debian/* Copyright: © 2010,2013 Miguel Landaeta License: LGPL-2.1 The full text of the GNU Lesser General Public License is distributed in /usr/share/common-licenses/LGPL-2.1 on Debian systems. debian/pom.xml0000644000000000000000000001575712214242416010520 0ustar 4.0.0 org.codehaus.jcsp jcsp bundle 1.1-rc4 The JCSP Library This library contains classes realizing Communicating Sequential Processes (CSP) for use in Java code. http://www.cs.kent.ac.uk/projects/ofa/jcsp 1996 LGPLv2.1 http://www.gnu.org/licenses/lgpl-2.1.html scm:svn:http://projects.cs.kent.ac.uk/projects/jcsp/svn/jcsp/trunk codehaus.org JCSP Central Repository dav:https://dav.codehaus.org/repository/jcsp codehaus.org JCSP Snapshot Repository dav:https://dav.codehaus.org/snapshots.repository/jcsp Codehaus http://repository.codehaus.org CodehausSnapshot http://snapshots.repository.codehaus.org junit junit 4.8.1 test org.osgi org.osgi.core 1.4.0 ${basedir}/src ${basedir}/src install org.apache.maven.wagon wagon-webdav 1.0-beta-2 org.apache.maven.plugins maven-compiler-plugin 5 5 on jcsp-demos/** org/jcsp/test/** org/jcsp/test/** org/jcsp/test/TestExtendedRendezvous.java org.apache.felix maven-bundle-plugin true org.jcsp,org.jcsp.* org.apache.maven.plugins maven-javadoc-plugin overview.html true true true en_GB UTF-8 5 ${name} ${name}
${name}
Copyright © 1997–2010 P.D.Austin and P.H.Welch. All rights reserved.
UTF-8 jcsp-demos.*,org.jcsp.test.* org.apache.maven.plugins maven-jxr-plugin org.codehaus.mojo taglist-maven-plugin org.apache.maven.plugins maven-surefire-report-plugin org.codehaus.mojo cobertura-maven-plugin org.codehaus.mojo jdepend-maven-plugin org.codehaus.mojo findbugs-maven-plugin Low Max org.apache.maven.plugins maven-pmd-plugin true utf-8 100 1.6 org.codehaus.mojo rat-maven-plugin debian/control0000644000000000000000000000456112214242416010575 0ustar Source: jcsp Maintainer: Debian Java Maintainers Uploaders: Miguel Landaeta Section: java Priority: optional Build-Depends: debhelper (>= 7.0.50), default-jdk, javahelper, ant, ant-contrib, maven-repo-helper Standards-Version: 3.9.4 Vcs-Git: git://anonscm.debian.org/pkg-java/jcsp.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-java/jcsp.git Package: libjcsp-java Architecture: all Depends: ${misc:Depends} Suggests: libjcsp-java-doc (= ${binary:Version}) 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. Package: libjcsp-java-doc Architecture: all Section: doc Depends: ${misc:Depends} Suggests: libjcsp-java (= ${binary:Version}) Description: Documentation for libjcsp-java Documentation for JCSP (Communication Sequential Processes for Java) that 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.