summaryrefslogtreecommitdiffstats
path: root/devel
AgeCommit message (Expand)Author
2012-04-03devel/cppcheck: version 1.53Florian Franzmann
2012-04-03meld 1.5.4Ladislav Hagara
2012-03-31devel/mlgmpidl: new spell, ocaml bindings for gmpFlorian Franzmann
2012-03-31devel/camlidl: new spell, a stub code generator and COM binding forFlorian Franzmann
2012-03-30devel/bcpp: version 20120318Florian Franzmann
2012-03-27devel/valgrind: added disable_pic to BUILDFlorian Franzmann
2012-03-21graphviz 2.28.0Ladislav Hagara
2012-03-21devel/kwstyle: new spell, a C/C++ style checkerFlorian Franzmann
2012-03-20nasm 2.10Ladislav Hagara
2012-03-18doxygen 1.8.0Ladislav Hagara
2012-03-14git 1.7.9.4Ladislav Hagara
2012-03-12meld: updated spell to 1.5.3Sven Lemke
2012-03-07devel/wdiff: new spell, a front end to diff for comparing files on aFlorian Franzmann
2012-03-05devel/qt-creator: version 2.4.1Florian Franzmann
2012-03-04devel/scala: version 2.9.1-1Florian Franzmann
2012-03-02Merge branch 'master' of ssh://scm.sourcemage.org/smgl/grimoireThomas Orgis
2012-03-02valgrind: bump to 3.7.0Thomas Orgis
2012-03-02devel/coq: new spell, a formal proof management systemFlorian Franzmann
2012-03-02devel/camlp5: fixed libdirFlorian Franzmann
2012-03-02devel/camlp5: new spell, a preprocessor-pretty-printer for ocamlFlorian Franzmann
2012-03-02devel/alt-ergo: new spell, a theorem proverFlorian Franzmann
2012-03-02devel/ocamlgraph: new spell, a graph library for ocamlFlorian Franzmann
2012-03-01devel/openocd: new spell, Open On-Chip DebuggingLadislav Hagara
2012-02-29bluefish: => 2.2.2Vlad Glagolev
2012-02-28cmake: CONFLICTS removedLadislav Hagara
2012-02-28colormake 0.9Ladislav Hagara
2012-02-16gdb: => 7.4Treeve Jelbert
2012-02-16iasl: => 20120215Vlad Glagolev
2012-02-15devel/ghc: create /lib64 symlink on x86_64Florian Franzmann
2012-02-15devel/ghc: activated parallel buildFlorian Franzmann
2012-02-15git 1.7.9.1Ladislav Hagara
2012-02-12Merge branch 'master' of ssh://scm.sourcemage.org/smgl/grimoireFlorian Franzmann
2012-02-12devel/ghc: version 7.4.1Florian Franzmann
2012-02-12devel/nodejs: new spell, platform for building fast, scalable networkLadislav Hagara
2012-02-11devel/valgrind: corrected my time machine and formatting in HISTORYPol Vinogradov
2012-02-11devel/valgrind: fixed if statement in PRE_BUILDPol Vinogradov
2012-02-10phpmyadmin: Updated to version 3.4.9George Sherwood
2012-02-09devel/frama-c: new spell, a C source code analysis toolFlorian Franzmann
2012-02-09xmlto 0.0.25Ladislav Hagara
2012-02-05devel/cmake: activated parallel bootstrapFlorian Franzmann
2012-02-05Revert "devel/cmake: activated parallel bootstrap, deactivated avx to avoid"Florian Franzmann
2012-02-05devel/cmake: activated parallel bootstrap, deactivated avx to avoidFlorian Franzmann
2012-02-02guile 2.0.5Ladislav Hagara
2012-02-01vala 0.14.2Ladislav Hagara
2012-02-01automake 1.11.3Ladislav Hagara
2012-01-29acr: update to 0.8.6Ismael Luceno
2012-01-20Merge branch 'master' of ssh://scm.sourcemage.org/smgl/grimoireThomas Orgis
2012-01-20binutils: install libiberty.h (some code wants to use it, LFS recommends inst...Thomas Orgis
2012-01-20git 1.7.8.4Ladislav Hagara
2012-01-14python3: added patchlevelRobin Cook