Download Latest Version
tulip-1.3.0.tar.gz (429.5 kB)
Get an email when there's a new version of Temporal Logic Planning (TuLiP) Toolbox
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| tulip-1.3.0.tar.gz.asc | 2016-11-19 | 819 Bytes | |
| tulip-1.2.1.tar.gz.asc | 2016-07-27 | 819 Bytes | |
| tulip-1.2.0.tar.gz.asc | 2015-10-26 | 819 Bytes | |
| README | 2014-12-09 | 983 Bytes | |
| tulip-1.1a-bundle.tar.gz.sig | 2014-12-09 | 543 Bytes | |
| tulip-1.0b.tar.gz.sig | 2013-12-07 | 543 Bytes | |
| Totals: 6 Items | 4.5 kB | 0 | |
This directory contains detached signatures for release downloads, which are located one directory up at https://sourceforge.net/projects/tulip-control/files While checking a signed file is good practice (it verifies the integrity of the download), it is not required to run TuLiP. The signatures are by Scott C. Livingston, whose public key is available at http://scottman.net/SCL.asc You can add it to your keyring by fetching directly from that URL, e.g., $ curl -s http://scottman.net/SCL.asc|gpg --import If you do not have "curl" installed but do have "wget", then try replacing the part before "|" with: wget -qO - http://scottman.net/SCL.asc Alternatively, you can fetch it from a key server, $ gpg --keyserver pgp.mit.edu --recv-keys 03B40F63 If you are new to OpenPGP (http://www.ietf.org/rfc/rfc4880.txt) and GNU Privacy Guard (http://gnupg.org/), then a good introduction is Mike Ashley's "The GNU Privacy Handbook", http://www.gnupg.org/gph/en/manual.html