summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2017-03-06alliance: mark as brokenJörg Thalheim
2017-03-03Merge pull request #23423 from ttuegel/fricasThomas Tuegel
2017-03-03ikarus: removeRobin Gloster
2017-03-03boinc: fix location of /etc in $outBenno Fünfstück
2017-03-02fricas: 1.2.2 -> 1.3.1Thomas Tuegel
2017-03-02libsForQt5.qmltermwidget: fix buildRobin Gloster
2017-03-01cytoscape: fixed issue with startup scriptKatona László
2017-02-27verilator: 3.884 -> 3.900Robin Gloster
2017-02-27Merge pull request #22817 from jbedo/rDomen Kožar
2017-02-27qt-gstreamer1: align attrname with pkgnameBjørn Forsman
2017-02-26logisim: use better jar wrapper, closes #23068Christopher League
2017-02-26lean: 3.0.0 -> 3.1.0Gabriel Ebner
2017-02-25Merge pull request #22977 from ttuegel/triage-kde4Thomas Tuegel
2017-02-25Merge pull request #22770 from NickHu/masterPeter Hoeg
2017-02-24qt4: Don't pass top-level attribute through kde4Thomas Tuegel
2017-02-24fdr: init at 4.2.0Nick Hu
2017-02-24R: 3.2.4 -> 3.3.2Justin Bedo
2017-02-22pymol: fix evaluationFranz Pletz
2017-02-22pymol: init at 1.8.4 (#23007)Mounium
2017-02-19geogebra: add ma27 as maintainerMaximilian Bosch
2017-02-19geogebra: 5-0-328-0 -> 5-0-331-0Maximilian Bosch
2017-02-14geogebra: 5-0-320-0 -> 5-0-328-0Maximilian Bosch
2017-02-13ngspice: Add XSpice and Cider supportRongcui Dong
2017-02-10golly: use python2Frederik Rietdijk
2017-02-06ecopcr: init at 0.8.0Celine Mercier
2017-02-04emboss: 6.0.1 -> 6.6.0Ian Lancaster
2017-02-03Merge pull request #22231 from Ma27/hotfix/update-geogebraJoachim F
2017-02-02Merge pull request #22361 from peterhoeg/u/crunchGabriel Ebner
2017-02-02ngspice: 25 -> 26Rongcui Dong
2017-02-02speedcrunch: 0.11 -> 0.12.0Peter Hoeg
2017-02-01veriT: 201506 -> 2016Gabriel Ebner
2017-01-31Remove myself from maintainersDamien Cassou
2017-01-28geogebra: 5.0.271.0 -> 5-0-320-0Maximilian Bosch
2017-01-25coq-8.4: fix build of ssreflect and mathcompVincent Laporte
2017-01-25Coq: propagates the findlib packageVincent Laporte
2017-01-25coq: minor refactoringVincent Laporte
2017-01-25coq: merge files 8.5.nix and 8.6.nix into default.nixVincent Laporte
2017-01-21alt-ergo: 0.99.1 -> 1.30Vincent Laporte
2017-01-21why3: 0.87.1 -> 0.87.3Vincent Laporte
2017-01-20lean: 2017-01-14 -> 3.0.0Gabriel Ebner
2017-01-14lean: 2017-01-06 -> 2017-01-14Gabriel Ebner
2017-01-13Merge pull request #21819 from AtnNn/isabellePascal Wittmann
2017-01-11isabelle: 2016 -> 2016-1Etienne Laurin
2017-01-09Merge pull request #21632 from veprbl/sherpa_fixMichael Raskin
2017-01-07sherpa: add useful dependenciesDmitry Kalinkin
2017-01-06Merge branch 'staging'; security /cc #21642Vladimír Čunát
2017-01-06lean: 2016-12-30 -> 2017-01-06Gabriel Ebner
2017-01-04sherpa: fix sqlite dependencyDmitry Kalinkin
2017-01-04Merge branch 'master' into stagingDaiderd Jordan
2017-01-03haskellPackages.z3: fix #16357Domen Kožar
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-21 03:45:38 +0000