Git-Url:
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=cb95e5a257397644ea54eda9af0e97836925852a
commit cb95e5a257397644ea54eda9af0e97836925852a
Author: crazy
Date: Tue Nov 3 00:47:57 2015 +0100
frama-c-20111001-1-x86_64 - removed - repo cleanup
diff --gi
Git-Url:
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=e9f030a873bd8d874da9144893ec3fe68fa21fd4
commit e9f030a873bd8d874da9144893ec3fe68fa21fd4
Author: Elentir
Date: Wed Oct 26 21:49:01 2011 +0200
frama-c-20111001-1-x86_64
* version bump
diff --git a/so