Commit Graph

10 Commits

Author SHA1 Message Date
Dimitris Zlatanidis 1c42afcee5 development/coccinelle: Updated for version 1.0.6.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2017-04-22 08:11:11 +07:00
Dimitris Zlatanidis 4762f00482
development/coccinelle: Switch to i586.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2016-10-01 07:28:39 +07:00
David Spencer a3224ce142 development/coccinelle: Updated for version 1.0.5.
Fixes build failure with ocaml-4.03.
Depend on camlp4.  Build with -j1.

Signed-off-by: David Spencer <baildon.research@googlemail.com>
2016-07-20 14:20:08 -05:00
David Spencer 41504ddede development/coccinelle: Updated for version 1.0.4.
Don't try to build the pdf docs, they need texlive.

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2016-03-31 12:48:02 +01:00
Dimitris Zlatanidis 0f3caf2e06 development/coccinelle: Updated for version 1.0.1.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2015-07-04 15:14:38 +07:00
Dimitris Zlatanidis 86d6aec937 development/coccinelle: Updated for version 1.0.0.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>
2015-05-10 07:04:56 +07:00
Dimitris Zlatanidis 9725e624ce development/coccinelle: Updated for version 1.0.0-r24.
Signed-off-by: Dimitris Zlatanidis <d.zlatanidis@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2015-02-12 17:49:56 +07:00
Dimitris Zlatanidis 360f749b9a development/coccinelle: Updated for version 1.0.0_rc22.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-10-30 20:27:36 +07:00
Dimitris Zlatanidis 021e3a0dd8 development/coccinelle: Updated for version 1.0.0_rc21.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-05-12 07:35:49 +07:00
Dimitris Zlatanidis c70602fbad development/coccinelle: Added (matching and transformation engine).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-02-21 14:41:02 -06:00