Sat, 21 Sep 2019 01:05:05 UTC

Information for build jcsp-1.1-0.6.rc5.fc26

ID860081
Package Namejcsp
Version1.1
Release0.6.rc5.fc26
Epoch
SummaryCommunicating Sequential Processes for Java (JCSP)
DescriptionJCSP (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 behavior arising from interactions between concurrent objects. JCSP 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 (java/documented) 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.
Built bygil
State complete
Volume DEFAULT
StartedSat, 18 Feb 2017 11:17:42 UTC
CompletedSat, 18 Feb 2017 11:19:44 UTC
Taskbuild (rawhide, /rpms/jcsp:dab5b78658e2dc88ff3efb786565cc23b97c80fd)
Tags
f26
f26-Alpha
f26-Beta
f26-modularity
f27
RPMs
src
jcsp-1.1-0.6.rc5.fc26.src.rpm (info) (download)
noarch
jcsp-1.1-0.6.rc5.fc26.noarch.rpm (info) (download)
jcsp-javadoc-1.1-0.6.rc5.fc26.noarch.rpm (info) (download)
Logs
noarch
state.log
root.log
build.log
Changelog * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.6.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.5.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-0.4.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Fri Feb 06 2015 gil cattaneo <puntogil@libero.it> 1.1-0.3.rc5 - introduce license macro * Fri Oct 31 2014 gil cattaneo <puntogil@libero.it> 1.1-0.2.rc5 - remove win32 java stuff - fix description * Tue Sep 04 2012 gil cattaneo <puntogil@libero.it> 1.1-0.1.rc5 - initial rpm