ppl 0.10.2
Numerical abstractions for Pardus-ARM toolchain
Packager: Mehmet Emre Atasever
License: LGPLv3+
Actions
Binary packages
Release history
| Release | Release date | Version | Updater | Comment |
|---|---|---|---|---|
| 2 | 2010-04-12 | 0.10.2 | Mehmet Emre Atasever | +-- Actionsapi enhancement +-- Migration to Corporate2-devel repo |
| 1 | 2010-01-04 | 0.10.2 | Mehmet Emre Atasever | Port of Pardus-ARM (ARM7 Cortex-a8) |