summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* fricas: 1.3.3 -> 1.3.4 (#43023)R. RyanTM2018-07-09
| | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/fricas/versions. These checks were done: - built on NixOS - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/fricas passed the binary check. - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/efricas passed the binary check. - 2 of 2 passed binary check by having a zero exit code. - 0 of 2 passed binary check by having the new version present in output. - found 1.3.4 with grep in /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4 - directory tree listing: https://gist.github.com/75d751d9733f6b0a7b582ab838a71963 - du listing: https://gist.github.com/4c6fe5f342430a2b36568da3229d3dc4
* igv: 2.4.10 -> 2.4.11 (#43003)R. RyanTM2018-07-09
| | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/igv/versions. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11/bin/igv had a zero exit code or showed the expected version - 0 of 1 passed binary check by having a zero exit code. - 0 of 1 passed binary check by having the new version present in output. - found 2.4.11 with grep in /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11 - directory tree listing: https://gist.github.com/ca4cf484aab1c1590806c47c4fdde1d7 - du listing: https://gist.github.com/f7ff80a2429cf0a942195db4944659b1
* Merge pull request #43096 from jbedo/mosdepthSilvan Mosberger2018-07-09
|\ | | | | mosdepth: init 0.2.3
| * mosdepth: init 0.2.3Justin Bedo2018-07-09
| |
* | monosat: update build to use handy new environment variableDan Peebles2018-07-08
| |
* | monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
| | | | | | | | Upstream fixed a few things I needed to work around
* | monosat: init at 1nx3wh34Dan Peebles2018-07-08
| | | | | | | | | | Also includes the python and java bindings (although java is only currently enabled on Linux)
* | picard-tools: 2.18.7 -> 2.18.9 (#42967)R. RyanTM2018-07-06
|/ | | | | | | | | | | | | | | 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. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9/bin/picard had a zero exit code or showed the expected version - 0 of 1 passed binary check by having a zero exit code. - 0 of 1 passed binary check by having the new version present in output. - found 2.18.9 with grep in /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9 - directory tree listing: https://gist.github.com/0972acdc51fe8a1cde470e4ab5e87993 - du listing: https://gist.github.com/6a66b6723ce4887cd108678369b87360
* verilator: Allow building on Darwin as well as LinuxJohn Wiegley2018-07-05
|
* Merge pull request #43079 from matthewbauer/rework-extra-pkgsMatthew Bauer2018-07-05
|\ | | | | Rework stage.nix's extraPkgs
| * treewide: remove callPackage_i686Matthew Bauer2018-07-05
| | | | | | | | This has been replaced with pkgsi686Linux.callPackage
* | Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz2018-07-05
|\ \ | | | | | | vampire: portability fixes
| * | vampire: enable parallel buildingWill Dietz2018-07-05
| | |
| * | vampire: portability fixesWill Dietz2018-07-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | These have been submitted upstream, but seconds before writing this message so naturally no upstream response "yet" :). Regardless of response, fetch patches from the corresponding PR's for context and of course hopefully they'll be included in next version.
| * | vampire: use CC/CXX from env, instead of always g++Will Dietz2018-07-05
| | |
* | | cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
|/ /
* | qalculate-gtk: 2.5.0 -> 2.6.0Gabriel Ebner2018-07-05
| |
* | eprover: 2.0 -> 2.1Gabriel Ebner2018-07-05
| |
* | vampire: init at 4.2.2Gabriel Ebner2018-07-05
| |
* | stellarium: 0.18.0 -> 0.18.1 (#42949)R. RyanTM2018-07-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/stellarium/versions. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-wrapped had a zero exit code or showed the expected version - 0 of 2 passed binary check by having a zero exit code. - 0 of 2 passed binary check by having the new version present in output. - found 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1 - directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d - du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
* | Merge pull request #43026 from r-ryantm/auto-update/clingoMichael Raskin2018-07-04
|\ \ | | | | | | clingo: 5.2.2 -> 5.3.0
| * | clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/clingo/versions. Version release notes (from GitHub): # Packages - The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`. - Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur]. - For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac]. # Changes * change C API to use numeric instead of symbolic literals * affects assumptions and assigning/releasing externals (breaks backward compatibility) * added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code) * the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output * add API function to detect conflicting programs * add message logger to python and lua interface * add support for primes in the beginning of identifiers and variable names * add per solver registration of watches during propagator initialization * add a directive to selectivel suppress undefined atom warnings * add support for user defined statistics * add _to_c functions for python API to be able to call C functions from python * only create ground representations for requested program parts when grounding (#71) * improve program observer (#19) * support for binary, octal, and hexadecimal numbers (#65) * the backend has to be opened/closed now * release python's GIL while grounding (#82) * TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API * improve API and it's documentation [deb]: https://www.debian.org/ [ubu]: https://www.ubuntu.com/ [aur]: https://aur.archlinux.org/ [hbr]: https://brew.sh/ [mac]: https://www.macports.org/ [ana]: https://conda.io [pch]: https://anaconda.org/potassco/clingo [ins]: https://conda.io/docs/user-guide/install/index.html These checks were done: - built on NixOS - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check. - 5 of 5 passed binary check by having a zero exit code. - 0 of 5 passed binary check by having the new version present in output. - found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0 - directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419 - du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
* | Merge pull request #42897 from fragamus/masterSilvan Mosberger2018-07-04
|\ \ | |/ |/| add bliss package
| * bliss: init at 0.73Michael Gough2018-07-04
| |
* | pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840)Timo Kaufmann2018-07-02
| |
* | Merge pull request #42843 from fragamus/masterSarah Brofeldt2018-07-02
|\| | | | | hmetis: init at 1.5
| * hmetis: init at 1.5Michael Gough2018-07-01
| |
* | R: update to version 3.5.1Peter Simons2018-07-02
|/ | | | (cherry picked from commit 7e2f2037ea6d6533492d407696f260e7b11df49d)
* Merge pull request #39981 from timokau/sage-on-nixosMichael Raskin2018-07-01
|\ | | | | Sage on nixos
| * sage: replace JUPYTER_PATH patch by upstream patchTimo Kaufmann2018-06-30
| | | | | | | | | | The patch was replaced by a better upstream patch that doesn't mvoe the jupyter dir to the user's home.
| * sage, arb: update sage dependencies arb and pynacTimo Kaufmann2018-06-30
| | | | | | | | | | | | Removes the version pinning for arb and pynac by backporting the upstream (sage) package upgrades. This necessitates a new patch for arb, which was however already proposed and accepted upstream.
| * sage: 8.1 -> 8.2, use system packagesTimo Kaufmann2018-06-30
| |
| * symmetrica: add patchesTimo Kaufmann2018-06-30
| |
* | librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786)Luz2018-06-30
| | | | | | | | | | | | | | | | | | | | * Update: 2017-12-29 -> 2018-06-28 * Update libs also to qt5.9 * Add required default font file * Switch back to default Qt version
* | treewide: http -> httpsRyan Mulligan2018-06-29
|/
* coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann2018-06-29
|
* Merge pull request #42590 from TimPut/openmvsbuildfixMatthew Bauer2018-06-28
|\ | | | | openmvs: build with CGAL 4.12
| * openmvs: fix CGAL 4.12 dependencytim put2018-06-26
| | | | | | | | patch executables with openMVS library path
* | Merge pull request #41929 from smaret/gildasMatthew Bauer2018-06-28
|\ \ | | | | | | gildas: init at 201806_a
| * | gildas: use internal LAPACK instead of OpenBLASSebastien Maret2018-06-26
| | | | | | | | | | | | | | | Gildas' uv_fit task segfaults when it uses OpenBLAS. Use internal LAPACK version instead.
| * | gildas: use the standard installPhaseSebastien Maret2018-06-26
| | |
| * | gildas: init at 201806_aSebastien Maret2018-06-26
| | |
* | | Merge pull request #42571 from iimog/hmmerMatthew Bauer2018-06-28
|\ \ \ | | | | | | | | hmmer: init at 3.1b2
| * | | hmmer: init at 3.1b2Markus Ankenbrand2018-06-25
| | |/ | |/|
* | | treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
| | | | | | | | | | | | | | | | | | | | | | | | | | | * treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces
* | | treewide: http -> https (#42665)Ryan Mulligan2018-06-27
| | |
* | | gromacs: 2018.1 -> 2018.2 (#42504)R. RyanTM2018-06-27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC had a zero exit code or showed the expected version - /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.bash passed the binary check. - /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.zsh passed the binary check. - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.csh had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/demux.pl had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/xplor2gmx.pl had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion.bash had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion-gmx.bash had a zero exit code or showed the expected version - /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx passed the binary check. - 3 of 9 passed binary check by having a zero exit code. - 0 of 9 passed binary check by having the new version present in output. - found 2018.2 with grep in /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2 - directory tree listing: https://gist.github.com/1679f0362dfcc7299a6d5b8d9e76c14e - du listing: https://gist.github.com/2f848bb0fe181676c17b61a9d5a94953
* | | pynac: 0.7.21 -> 0.7.22 (#42650)Timo Kaufmann2018-06-27
| | |
* | | palp: restrict platforms to linux (#42651)Timo Kaufmann2018-06-27
| | |
* | | palp: fix runtime error introduced by #28029 (#42633)Timo Kaufmann2018-06-27
| |/ |/| | | | | | | | | | | | | After #28029 it is necessary to add "strictoverflow" to the disabled hardening flags. That probably has something to do with the `-O3` option in palps makefile. This commit also adds a test to check for this regression (as it only occured at runtime).
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 08:07:04 +0000