diff options
| author | Edinaldo P. Silva <edps.mundognu@gmail.com> | 2016-08-05 13:57:12 +0100 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2016-08-05 18:10:41 +0100 |
| commit | d7560ff57ae74da6e5e8ab97e0161eef5c52d0dd (patch) | |
| tree | d7ccf7ade84ae21d8abbc2e4fe1e37168e0cf984 /development/mcrl2 | |
| parent | b95653f0994aae57d296b8c65f9ba3baa389101c (diff) | |
| download | slackbuilds-d7560ff57ae74da6e5e8ab97e0161eef5c52d0dd.tar.gz | |
development/dpkg: Updated for version 1.18.10.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions