diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2012-09-25 14:39:13 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2012-09-26 00:00:45 -0500 |
| commit | d5ad0f5d0615b98b5865896be4e8c2adabe926a6 (patch) | |
| tree | 82d207f17211176f60421f93830e28f4c782fd33 /development/mcrl2/mcrl2.SlackBuild | |
| parent | 656d2dee56f21478a3b7f8b89ba1260b962bfd04 (diff) | |
development/amaya: Updated for version 11.4.4.
Added the foreign dictionaries,
built over the system's raptor and wxPython
(so added them as dependencies)
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/mcrl2.SlackBuild')
0 files changed, 0 insertions, 0 deletions