summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Specify the coq version in a more consistent locationJohn Wiegley2017-12-21
* snpeff: 4.3p -> 4.3tJustin Bedo2017-12-21
* coq: minor cleaningVincent Laporte2017-12-18
* drat-trim: fix build on darwinOrivej Desh2017-12-17
* Merge pull request #32648 from berce/upstream-kicadOrivej Desh2017-12-17
|\
| * kicad: show versionOrivej Desh2017-12-17
| * kicad-unstable: set versionOrivej Desh2017-12-17
| * kicad: add support for oce, ngspice and scriptingBert Moens2017-12-17
| * kicad: add unstable versionBert Moens2017-12-17
* | Merge pull request #32643 from kini/drat-trimOrivej Desh2017-12-17
|\ \
| * | drat-trim: init at 2017-08-31Keshav Kini2017-12-17
| |/
* | ocamlPackages.cairo2: 0.4.6 -> 0.5Vincent Laporte2017-12-16
* | coq_8_7: 8.7.0 -> 8.7.1John Wiegley2017-12-15
* | z3_4_5_0: New expression, to access the release version's APIJohn Wiegley2017-12-14
* | Merge pull request #32538 from vbgl/ott-0.27Pascal Wittmann2017-12-14
|\ \ | |/ |/|
| * ott: 0.25 -> 0.27Vincent Laporte2017-12-10
* | Merge pull request #32250 from vbgl/coq-cleanVincent Laporte2017-12-11
|\ \
| * | coq_HEAD: removeVincent Laporte2017-12-02
* | | Merge branch 'master' into stagingVladimír Čunát2017-12-09
|\ \ \ | | |/ | |/|
| * | gpredict: init at 1.3 (#32436)markuskowa2017-12-09
| * | treewide: checkMeta fixes for x86_64-linuxVladimír Čunát2017-12-07
| * | nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06Austin Seipp2017-12-06
| |/
* | stp: disable parallel buildingOrivej Desh2017-12-07
* | shogun: fix parallel buildingOrivej Desh2017-12-07
|/
* glucose-syrup: Remove unused fetchurl argumentKeshav Kini2017-12-01
* simgrid: 3.15 -> 3.17 (#32114)Jörg Thalheim2017-12-01
|\
| * Fix typoMERCIER Michael2017-11-28
| * Add myself as maintainerMERCIER Michael2017-11-27
| * simgrid: 3.15 -> 3.17 + clean + add optionsMERCIER Michael2017-11-27
* | libminc: fix build after hdf5 upgrade by using hdf5_1_8Orivej Desh2017-12-01
* | R: update to 3.4.3Peter Simons2017-11-30
* | acgtk: fix for yojson ≥ 1.4Vincent Laporte2017-11-27
|/
* treewide: preset windres missing to fix builds on LinuxOrivej Desh2017-11-21
* stellarium: 0.15.0 -> 0.16.1Maximilian Bosch2017-11-19
* vcftools: init at 0.1.15 (#31339)rybern2017-11-16
* pulseview: fix buildOrivej Desh2017-11-16
* spyder: 2.3.8 -> 3.2.4Joerg Thalheim2017-11-15
* why3: 0.87.3 -> 0.88.1Moritz Kiefer2017-11-15
* sc2-headless: add pysc2 minigame map packDan Haraj2017-11-14
* maxima: 5.40.0 -> 5.41.0Peter Simons2017-11-14
* wxmaxima: 15.04.0 -> 17.10.1Joerg Thalheim2017-11-14
* Merge pull request #31564 from Mounium/alizaRenaud2017-11-12
|\
| * aliza: 1.29.2->1.36.3Katona László2017-11-12
* | golly: 2.8 -> 3.1Michael Raskin2017-11-11
* | pari: 2.9.1 -> 2.9.3Michael Raskin2017-11-11
* | clingo: init at 5.2.2Michael Raskin2017-11-10
* | z3: update to latest gitAustin Seipp2017-11-09
* | glucose, glucose-syrup: 4.0 -> 4.1Michael Raskin2017-11-08
|/
* Merge pull request #31298 from timokau/sage-fixMichael Raskin2017-11-06
|\
| * Restrict platforms to what is known to work.Michael Raskin2017-11-06
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-11 05:06:36 +0000