summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* Merge pull request #48812 from mpickering/cedilleJoachim F2018-10-24
|\ | | | | cedille bug fixes
| * cedille: Make a seperate output for the base libraryMatthew Pickering2018-10-22
| | | | | | | | | | | | For now, for normal usage you need to add `${cedille.lib}` to the `~/.cedille/options` file so that cedille will find the base libraries. There is no option to pass options by the command line.
| * cedille: Apply patch which unbreaks the options fileMatthew Pickering2018-10-22
| | | | | | | | See https://github.com/cedille/cedille/issues/29
* | star: 2.6.1a -> 2.6.1cR. RyanTM2018-10-24
| | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/star/versions
* | sage: fix doctestTimo Kaufmann2018-10-22
| | | | | | | | | | | | The test is depending on the "py2" tag always being added. I patched that recently to make it possible to test sagedoc individually. Somehow I missed this doctest.
* | sage: fix dochtml testsTimo Kaufmann2018-10-21
| |
* | sage: fix docbuildTimo Kaufmann2018-10-21
| | | | | | | | | | This is only a hotfix without really knowing the issue. See https://groups.google.com/forum/#!msg/sage-packaging/VU4h8IWGFLA/mrmCMocYBwAJ
* | Merge pull request #44527 from timokau/sage-8.4Timo Kaufmann2018-10-20
|\ \ | | | | | | [WIP] sage: 8.3 -> 8.4
| * | sage: 8.4.rc1 -> 8.4Timo Kaufmann2018-10-18
| | |
| * | sage: 8.4.rc0 -> 8.4.rc1Timo Kaufmann2018-10-13
| | |
| * | sage: 8.4.beta7 -> 8.4.rc0Timo Kaufmann2018-10-07
| | |
| * | sage: 8.4.beta6 -> 8.4.beta7Timo Kaufmann2018-10-01
| | |
| * | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-10-01
| |\ \
| * | | sage: 8.4.beta5 -> 8.4.beta6Timo Kaufmann2018-09-27
| | | |
| * | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-27
| |\ \ \
| * | | | sage: 8.4.beta4 -> 8.4.beta5Timo Kaufmann2018-09-15
| | | | |
| * | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-15
| |\ \ \ \
| * | | | | sage: 8.4.beta3 -> 8.4.beta4Timo Kaufmann2018-09-07
| | | | | |
| * | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-07
| |\ \ \ \ \
| * | | | | | sage: 8.4.beta2 -> 8.4.beta3Timo Kaufmann2018-09-02
| | | | | | |
| * | | | | | sage: 8.4.beta1 -> 8.4.beta2Timo Kaufmann2018-08-26
| | | | | | |
| * | | | | | sage: 8.4.beta0 -> 8.4.beta1Timo Kaufmann2018-08-16
| | | | | | |
| * | | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-08-15
| |\ \ \ \ \ \
| * | | | | | | sage: 8.3 -> 8.4.beta0Timo Kaufmann2018-08-05
| | | | | | | |
* | | | | | | | Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-packageVincent Laporte2018-10-19
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | coq: add ocamlPackages in passthru
| * | | | | | | | coq: add ocamlPackages in passthruThéo Zimmermann2018-10-17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We might need OCaml packages that are not the one Coq is depending on but they still need to come from the same package set (same OCaml version).
* | | | | | | | | Merge pull request #48509 from r-ryantm/auto-update/gtkwaveJörg Thalheim2018-10-19
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | gtkwave: 3.3.94 -> 3.3.95
| * | | | | | | | | gtkwave: 3.3.94 -> 3.3.95R. RyanTM2018-10-15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gtkwave/versions
* | | | | | | | | | Merge pull request #48565 from rprospero/sasview-4.2.0Jörg Thalheim2018-10-18
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Sasview: unstable -> 4.2.0
| * | | | | | | | | | sasmodels: unstable -> 4.2.0Adam Washington2018-10-17
| | |/ / / / / / / / | |/| | | | | | | |
* | | | | | | | | | Merge pull request #48653 from vbgl/why3-1.1.0Jörg Thalheim2018-10-18
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | why3: 1.0.0 -> 1.1.0
| * | | | | | | | | | why3: 1.0.0 -> 1.1.0Vincent Laporte2018-10-18
| |/ / / / / / / / /
* | | | | | | | | | Merge pull request #48511 from r-ryantm/auto-update/gmshJörg Thalheim2018-10-17
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | gmsh: 4.0.1 -> 4.0.2
| * | | | | | | | | gmsh: 4.0.1 -> 4.0.2R. RyanTM2018-10-15
| |/ / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gmsh/versions
* | | | | | | | | Merge pull request #48507 from r-ryantm/auto-update/jmolTimo Kaufmann2018-10-16
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ |/| | | | | | | | jmol: 14.29.22 -> 14.29.26
| * | | | | | | | jmol: 14.29.22 -> 14.29.26R. RyanTM2018-10-15
| |/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | | | | | | | cedille: init at 1.0.0Matthew Pickering2018-10-14
| | | | | | | |
* | | | | | | | verilator: 4.002 -> 4.004R. RyanTM2018-10-14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/verilator/versions
* | | | | | | | alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer2018-10-13
|/ / / / / / /
* | | | | | | gildas: 20181001_a -> 20181001_b (#48200)Sebastien Maret2018-10-11
| | | | | | |
* | | | | | | prooftree: cleaningVincent Laporte2018-10-11
| | | | | | |
* | | | | | | camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann2018-10-10
| | | | | | |
* | | | | | | prooftree: 0.12 -> 0.13Théo Zimmermann2018-10-10
| | | | | | |
* | | | | | | matita: remove broken packageThéo Zimmermann2018-10-09
| | | | | | | | | | | | | | | | | | | | | | | | | | | | As requested by Vincent Laporte.
* | | | | | | ocamlPackages_3_11_2: removeThéo Zimmermann2018-10-08
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This requires removing also the Coq 8.3 and Matita 0.5.8 packages. Coq 8.3 was released 8 years ago (2010) and there is no trace left of users of this version (contrary to Coq 8.4, released 2012). It is well over time to remove it. Matita 0.5.8 was released in 2010 and because this version was still used for teaching according to the official website, a legacy release (0.5.9) was released in 5 years later to compile with more recent OCaml libraries. Updating to 0.5.9 (or a more recent version like 0.99.3) should allow getting rid of the dependency on older OCaml but it is hard to test given that the package is already broken before this update.
* | | | | | | hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi2018-10-06
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Also handle compatibility with newer version of OCaml (depend on num library as needed).
* | | | | | | Merge pull request #47291 from veprbl/pr/xfitter_initMatthew Bauer2018-10-05
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | xfitter: init at 2.0.0
| * | | | | | | xfitter: init at 2.0.0Dmitry Kalinkin2018-09-24
| | | | | | | |
| * | | | | | | root5: init at 5.34.36Dmitry Kalinkin2018-09-24
| | | | | | | |
* | | | | | | | Merge pull request #47831 from r-ryantm/auto-update/calcJörg Thalheim2018-10-04
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | calc: 2.12.6.6 -> 2.12.6.8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 17:24:27 +0000