about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2019-05-29coq_8_9: 8.9.0 -> 8.9.1Vincent Laporte1-0/+1
2019-05-28libqalculate,qalculate-gtk: 3.1.0 -> 3.2.0Will Dietz1-2/+2
2019-05-25verilator: 4.012 -> 4.014 (#62013)Jörg Thalheim1-2/+2
2019-05-24Merge pull request #61895 from smaret/gildas-updateDmitry Kalinkin1-3/+3
2019-05-24verilator: 4.012 -> 4.014R. RyanTM1-2/+2
2019-05-24Merge pull request #61798 from bobvanderlinden/aliza-1.48.10Renaud1-4/+6
2019-05-24Merge pull request #61997 from r-ryantm/auto-update/stacksRyan Mulligan1-2/+2
2019-05-24stacks: 2.3e -> 2.4R. RyanTM1-2/+2
2019-05-24gildas: 20190401_a -> 20190501_aSébastien Maret1-3/+3
2019-05-21spyder: convert to python modulesGabriel Ebner1-75/+0
2019-05-21aliza: ? -> 1.48.10Bob van der Linden1-4/+6
2019-05-21several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen1-4/+1
2019-05-18Merge pull request #61630 from markuskowa/upd-moldenmarkuskowa1-2/+2
2019-05-18Merge pull request #58369 from bzizou/clustaloRobin Gloster1-0/+32
2019-05-18Merge pull request #60406 from JohnAZoidberg/remove-isnullRobin Gloster2-2/+2
2019-05-17molden: 5.9.5 -> 6.1Markus Kowalewski1-2/+2
2019-05-16Merge pull request #61462 from mpoquet/simgrid-3.21-to-3.22.2Aaron Andersen1-16/+16
2019-05-15nasc: 0.5.2 -> 0.5.4Will Dietz1-2/+2
2019-05-15simgrid: remove unneeded 'name' definitionMillian Poquet1-1/+0
2019-05-15coq: init at 8.10+β1Vincent Laporte1-3/+12
2019-05-15coq: make “coq-version” more generalVincent Laporte1-1/+4
2019-05-14simgrid: override checkPhase -> preCheckMillian Poquet1-7/+5
2019-05-13simgrid: fetchgit -> fetchFromGitLabMillian Poquet1-5/+8
2019-05-13simgrid: 3.21 -> 3.22.2Millian Poquet1-8/+8
2019-05-13pynac: 0.7.24 -> 0.7.25 (#61458)Timo Kaufmann1-2/+2
2019-05-13eggnog-mapper: fix patch URL and hashRenaud1-2/+2
2019-05-12cbc: 2.9.9 -> 2.10.2 (#58016)R. RyanTM1-4/+6
2019-05-12symbiyosys: fix path to bashSebastien Bourdeauducq1-1/+4
2019-05-12Merge pull request #61335 from r-ryantm/auto-update/minimap2Renaud1-2/+2
2019-05-11minimap2: 2.16 -> 2.17R. RyanTM1-2/+2
2019-05-11apmplanner-2: 2.0.26 -> 2.0.27-rc1wucke131-3/+3
2019-05-11givaro: 4.0.4 -> 4.1.0, fflas-ffpack: 2.3.2 -> 2.4.0, linbox: 1.5.2 -> 1.6.0 ...Timo Kaufmann1-0/+8
2019-05-09tptp: switch to new base URL for source tarballMichael Raskin1-2/+2
2019-05-09vampire: switch off the fragile fetchSubmodules/leaveDotGitMichael Raskin1-3/+3
2019-05-07Merge pull request #60932 from c0bw3b/patches-cleanupRenaud1-140/+0
2019-05-07Merge staging-next into masterFrederik Rietdijk2-0/+4
2019-05-07Merge master into staging-nextFrederik Rietdijk2-5/+29
2019-05-05cedille: fix hashMario Rodas1-20/+2
2019-05-05Merge pull request #59148 from volth/gcc.arch.v3Michael Raskin1-5/+6
2019-05-05fasttext: init at 0.2.0Daniël de Kok1-0/+23
2019-05-04[treewide] delete unused patchesc0bw3b1-140/+0
2019-05-02Merge master into staging-nextFrederik Rietdijk2-9/+10
2019-05-02Merge pull request #60694 from r-ryantm/auto-update/picard-toolsRenaud1-2/+2
2019-05-01picard-tools: 2.19.0 -> 2.19.2R. RyanTM1-2/+2
2019-05-01kicad: 5.0.2 -> 5.1.2 (#60611)Gabriel Ebner1-7/+8
2019-05-01Merge master into staging-nextFrederik Rietdijk7-16/+63
2019-05-01bowtie2: 2.3.5 -> 2.3.5.1R. RyanTM1-2/+2
2019-05-01gromacs: 2019.1 -> 2019.2R. RyanTM1-3/+3
2019-05-01kicad: 5.0.2 -> 5.1.2Gabriel Ebner1-7/+8
2019-05-01jmol: 14.29.36 -> 14.29.40R. RyanTM1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-11 17:53:33 +0000