summaryrefslogtreecommitdiffstats
path: root/devel
AgeCommit message (Expand)Author
2013-07-14Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-07-12automake 1.13.2Ladislav Hagara
2013-07-11Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-07-10pyside: => qt4.8+1.2.0Treeve Jelbert
2013-07-10shiboken: => 1.2.0Treeve Jelbert
2013-07-04cmake 2.8.11.2Ladislav Hagara
2013-07-03Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-06-28gccxml: => gitTreeve Jelbert
2013-06-23Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-06-21ragel - new websiteTreeve Jelbert
2013-06-20devel/llvm: corrected previous errorsPol Vinogradov
2013-06-20llvm - fix build with python3Treeve Jelbert
2013-06-18devel/llvm: adapted clang build with current versionPol Vinogradov
2013-06-18devel/git: version 1.8.3.1Florian Franzmann
2013-06-18llvm: => 3.3Treeve Jelbert
2013-06-18Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-06-14xdg-utils: Runtime depends on xpropEric Sandall
2013-06-15devel/gitg: version 0.2.7Florian Franzmann
2013-06-15devel/qgrit: new spell, a GUI for git rebase -iFlorian Franzmann
2013-06-14Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-06-08cmake: => 2.8.11.1Treeve Jelbert
2013-06-08Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-06-08unifdef: => 2.9Treeve Jelbert
2013-06-06strace 4.8Ladislav Hagara
2013-06-04python3: => 3.3.2Treeve Jelbert
2013-06-04Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve 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-30Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
2013-05-30guile: does not compile with -ffast-mathIsmael Luceno
2013-05-29devel/rust: new spell, a safe, concurrent, practical languageLadislav Hagara
2013-05-29Merge remote-tracking branch 'origin/master' into devel-xorg-modularTreeve Jelbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-18 04:01:41 +0000