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