summaryrefslogtreecommitdiffstats
path: root/devel
AgeCommit message (Expand)Author
2013-06-04python3: => 3.3.2Treeve Jelbert
2013-06-03binutils: fixed migration for spells that require libbfdVlad Glagolev
2013-06-02devel/graphviz: version 2.30.1Florian Franzmann
2013-06-02devel/why3: use make_single in INSTALLFlorian Franzmann
2013-06-02fixup 3e4ed16a7f33fcc65582374a7e18f377961d1b45Florian Franzmann
2013-06-01swig: => 2.0.10Treeve Jelbert
2013-05-31devel/alt-ergo: version 0.95.1Florian Franzmann
2013-05-31devel/why: fix incompatibility with frama-c Fluorine-20130501Florian Franzmann
2013-05-31devel/why3: version 0.81Florian Franzmann
2013-05-31devel/why3: add optional dependency on sqlite3-ocamlFlorian Franzmann
2013-05-31devel/ghc: version 7.6.3Florian Franzmann
2013-05-30guile: does not compile with -ffast-mathIsmael Luceno
2013-05-29devel/rust: new spell, a safe, concurrent, practical languageLadislav Hagara
2013-05-28devel/oclint: new spell, a static analyzer for C/C++/Objective C codeFlorian Franzmann
2013-05-27devel/git: version 1.8.3Florian Franzmann
2013-05-26Revert "Revert "devel/perl: version 5.18.0, security update""Florian Franzmann
2013-05-26devel/why: new spell, a software verification platformFlorian Franzmann
2013-05-26devel/frama-c: version Fluorine-20130501Florian Franzmann
2013-05-26devel/coq: add dependency on zarithFlorian Franzmann
2013-05-26devel/camlp5: version 6.09Florian Franzmann
2013-05-26devel/zarith: new spell, arbitrary precision integers for ocamlFlorian Franzmann
2013-05-26devel/ocamlgraph: version 1.8.3Florian Franzmann
2013-05-24quazip: => 0.5.1Treeve Jelbert
2013-05-21Revert "devel/perl: version 5.18.0, security update"Florian Franzmann
2013-05-20devel/gdb: disable_picFlorian Franzmann
2013-05-20git - optional depends gettext, pcreTreeve Jelbert
2013-05-20geany: => 1.23.1Vlad Glagolev
2013-05-19devel/perl: version 5.18.0, security updateFlorian Franzmann
2013-05-18python 2.7.5Ladislav Hagara
2013-05-15devel/git: version 1.8.2.3Florian Franzmann
2013-05-15devel/git-cola: version 1.8.3Florian Franzmann
2013-05-11Revert "perl-cpan/class-load-xs: new spell, XS implementation parts of Class:...Florian Franzmann
2013-05-11perl-cpan/class-load-xs: new spell, XS implementation parts of Class::LoadFlorian Franzmann
2013-05-10tcl: Fix building of bundled sqlite3Ismael Luceno
2013-05-10binutils: workaround texinfo related build failureRemko van der Vossen
2013-05-09devel/spidermonkey17: spell created, new stable version of spidermonkeyLadislav Hagara
2013-05-09vala 0.20.1Ladislav Hagara
2013-05-07dissy: Add dependency on gdk-pixbuf2 and librsvg2 (for loading the icon)Ismael Luceno
2013-05-07dissy: new spell, Graphical frontend to the objdump disassemblerIsmael Luceno
2013-05-07unifdef: => 2.8Treeve Jelbert
2013-05-06automake: Depends on LZMA for uncompressing SOURCE (Bug #542)Eric Sandall
2013-05-04devel/cppcheck: version 1.59Florian Franzmann
2013-04-29devel/git: version 1.8.2.2Florian Franzmann
2013-04-29gdb: => 7.6Treeve Jelbert
2013-04-23patchutils: => 0.3.3Treeve Jelbert
2013-04-22libunwind: => 1.1Treeve Jelbert
2013-04-22fpc 2.6.2Ismael Luceno
2013-04-16astyle: => 2.03Treeve Jelbert
2013-04-13Python-3.3.1 - SECURITY fixTreeve Jelbert
2013-04-11devel/git: version 1.8.2.1Florian Franzmann