diff options
| author | Thibaut Notteboom <tib@tibux.org> | 2012-12-28 09:12:03 +0100 |
|---|---|---|
| committer | Matteo Bernardini <ponce@slackbuilds.org> | 2012-12-28 09:12:45 +0100 |
| commit | 5eb81f8ae1ee5cdd001c5bd3a0114b590f167026 (patch) | |
| tree | 10ab0737eaa61a3d767d4955b04de18d939c8e3a /development/mcrl2/slack-desc | |
| parent | a1cbe548c7b636310c8c08d174408b3508aa3111 (diff) | |
| download | slackbuilds-5eb81f8ae1ee5cdd001c5bd3a0114b590f167026.tar.gz | |
development/gecode: Added (Generic Constraint Developm. Environm.).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/slack-desc')
0 files changed, 0 insertions, 0 deletions