summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* Merge pull request #61462 from mpoquet/simgrid-3.21-to-3.22.2Aaron Andersen2019-05-16
|\ | | | | simgrid: 3.21 -> 3.22.2
| * simgrid: remove unneeded 'name' definitionMillian Poquet2019-05-15
| |
| * simgrid: override checkPhase -> preCheckMillian Poquet2019-05-14
| | | | | | | | | | | | | | | | This commit changes how failing tests are ignored. - Previously, the whole checkPhase was overridden. - Now, preCheck generates a ctest ignore file. ctest doc: https://gitlab.kitware.com/cmake/community/wikis/doc/ctest/Testing-With-CTest#customizing-ctest
| * simgrid: fetchgit -> fetchFromGitLabMillian Poquet2019-05-13
| |
| * simgrid: 3.21 -> 3.22.2Millian Poquet2019-05-13
| | | | | | | | | | | | - GitHub -> Framagit (SimGrid main repo has moved) - Test binaries must now be explicitly compiled (`make tests`) - Fix broken documentation link
* | nasc: 0.5.2 -> 0.5.4Will Dietz2019-05-15
| | | | | | | | | | https://github.com/parnold-x/nasc/releases/tag/0.5.4 https://github.com/parnold-x/nasc/releases/tag/0.5.3
* | coq: init at 8.10+β1Vincent Laporte2019-05-15
| |
* | coq: make “coq-version” more generalVincent Laporte2019-05-15
| |
* | pynac: 0.7.24 -> 0.7.25 (#61458)Timo Kaufmann2019-05-13
| |
* | eggnog-mapper: fix patch URL and hashRenaud2019-05-13
|/
* cbc: 2.9.9 -> 2.10.2 (#58016)R. RyanTM2019-05-12
| | | | | | | | | | | * cbc: 2.9.9 -> 2.10.0 Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/cbc/versions * cbc: 2.10.0 -> 2.10.2 + mark as broken on aarch64 (fails to build)
* symbiyosys: fix path to bashSebastien Bourdeauducq2019-05-12
|
* Merge pull request #61335 from r-ryantm/auto-update/minimap2Renaud2019-05-12
|\ | | | | minimap2: 2.16 -> 2.17
| * minimap2: 2.16 -> 2.17R. RyanTM2019-05-11
| | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/minimap2/versions
* | apmplanner-2: 2.0.26 -> 2.0.27-rc1wucke132019-05-11
| |
* | givaro: 4.0.4 -> 4.1.0, fflas-ffpack: 2.3.2 -> 2.4.0, linbox: 1.5.2 -> 1.6.0 ↵Timo Kaufmann2019-05-11
| | | | | | | | | | | | | | | | (#61285) The three packages are interdependent and need to be updated together, like the main contributor did for sage: https://trac.sagemath.org/ticket/24214
* | tptp: switch to new base URL for source tarballMichael Raskin2019-05-09
| |
* | vampire: switch off the fragile fetchSubmodules/leaveDotGitMichael Raskin2019-05-09
| |
* | Merge pull request #60932 from c0bw3b/patches-cleanupRenaud2019-05-07
|\ \ | |/ |/| [treewide] delete (some) unused patches
| * [treewide] delete unused patchesc0bw3b2019-05-04
| |
* | Merge staging-next into masterFrederik Rietdijk2019-05-07
|\ \
| * \ Merge master into staging-nextFrederik Rietdijk2019-05-07
| |\ \
| * \ \ Merge master into staging-nextFrederik Rietdijk2019-05-02
| |\ \ \ | | | |/ | | |/|
| * | | Merge master into staging-nextFrederik Rietdijk2019-05-01
| |\ \ \
| * \ \ \ Merge pull request #60447 from matthewbauer/macos-10-12-fixupsMatthew Bauer2019-04-30
| |\ \ \ \ | | | | | | | | | | | | Fixup from macos-10-12 branch
| | * | | | treewide: make -Wno-error flags clang-onlyMatthew Bauer2019-04-29
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In 724e833ea2a, I was a little too aggressive in enabling these flags. Many don’t work in gcc, and we should probably avoid settings them widely. This makes those flags optional on isclang
| * | | | | Merge staging-next into stagingFrederik Rietdijk2019-04-30
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Merge pull request #56744 from matthewbauer/macos-10-12Matthew Bauer2019-04-26
| |\ \ \ \ \ | | | | | | | | | | | | | | Update macOS to 10.12
| | * | | | | treewide: disable -Werror for llvm 7Matthew Bauer2019-04-26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Some of these have errors on newest llvm. It’s easiest to just add -Wno-error in these cases.
* | | | | | | cedille: fix hashMario Rodas2019-05-05
| |_|_|_|_|/ |/| | | | |
* | | | | | Merge pull request #59148 from volth/gcc.arch.v3Michael Raskin2019-05-05
|\ \ \ \ \ \ | | | | | | | | | | | | | | compilation for particular x86_64 architecture
| * | | | | | compilation for particular x86_64 architecturevolth2019-04-30
| | |_|/ / / | |/| | | |
* | | | | | fasttext: init at 0.2.0Daniël de Kok2019-05-05
| |_|_|_|/ |/| | | |
* | | | | Merge pull request #60694 from r-ryantm/auto-update/picard-toolsRenaud2019-05-02
|\ \ \ \ \ | | | | | | | | | | | | picard-tools: 2.19.0 -> 2.19.2
| * | | | | picard-tools: 2.19.0 -> 2.19.2R. RyanTM2019-05-01
| | |_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/picard-tools/versions
* | | | | kicad: 5.0.2 -> 5.1.2 (#60611)Gabriel Ebner2019-05-01
|\ \ \ \ \ | |/ / / / |/| | | | kicad: 5.0.2 -> 5.1.2
| * | | | kicad: 5.0.2 -> 5.1.2Gabriel Ebner2019-05-01
| | | | |
* | | | | bowtie2: 2.3.5 -> 2.3.5.1R. RyanTM2019-05-01
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/bowtie2/versions
* | | | | gromacs: 2019.1 -> 2019.2R. RyanTM2019-05-01
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gromacs/versions
* | | | | jmol: 14.29.36 -> 14.29.40R. RyanTM2019-05-01
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/jmol/versions
* | | | Merge branch 'auto-update/libqalculate'Gabriel Ebner2019-05-01
|\ \ \ \
| * | | | qalculate-gtk: 3.0.0 -> 3.1.0Gabriel Ebner2019-05-01
| |/ / /
* | | | Merge pull request #60550 from r-ryantm/auto-update/ginacRyan Mulligan2019-04-30
|\ \ \ \ | | | | | | | | | | ginac: 1.7.5 -> 1.7.6
| * | | | ginac: 1.7.5 -> 1.7.6R. RyanTM2019-04-30
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/ginac/versions
* | | | Merge pull request #60520 from r-ryantm/auto-update/eproverMichael Raskin2019-04-30
|\ \ \ \ | | | | | | | | | | eprover: 2.2 -> 2.3
| * | | | eprover: 2.2 -> 2.3R. RyanTM2019-04-30
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/eprover/versions
* | | | kicad: fix #49089 by adding libraries files (#57452)Gabriel Ebner2019-04-30
|\ \ \ \ | |/ / / |/| | | kicad: fix #49089 by adding libraries files
| * | | kicad: replace with3DPackages option with an overrideDmitry Kalinkin2019-03-24
| | | |
| * | | kicad: make module list overridableDmitry Kalinkin2019-03-24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This moves module definition into passthru. Otherwise building kicad would still require all modules to be built first even if they are not used. Also this drops preferLocalBuild from packages3d. hydraPlatforms should do what we need to. preferLocalBuild would addtitionaly disable remote builders, which is probably not what we want.
| * | | kicad: fix #49089 by adding libraries filesThibaut Marty2019-03-14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This splits the KiCad package in several derivations: - original package (main KiCad package) - internationalization package - templates - schematic symbols libraries - PCB footprints libraries - 3D models libraries From these derivations, 2 packages are exposed in top level: - `kicad` (main KiCad package + all libraries except 3D models) - `kicad-with-3dpackages` (kicad + all libraries) The 3D models can also be installed separately with `kicad.packages3d`. This prevents a new compilation of KiCad, but the user must set the `KISYS3DMOD` environment variable or option accordingly.