nixpkgs/pkgs/applications
Ryan Mulligan 4440d28fbd fricas: 1.3.1 -> 1.3.2
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` got 0 exit code
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` and found version 1.3.2
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/efricas --help` got 0 exit code
- found 1.3.2 with grep in /nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2

cc "@sprock"
2018-02-26 06:28:48 -08:00
..
altcoins go-ethereum: Dont install sources in $out 2018-02-23 18:47:45 +08:00
audio tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
backup tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
display-managers tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
editors tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
gis saga: 5.0.0 -> 6.2.0 2018-01-03 20:18:57 +01:00
graphics tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
inferno pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
kde tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
misc tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
networking tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
office tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
science fricas: 1.3.1 -> 1.3.2 2018-02-26 06:28:48 -08:00
search tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
taxes treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
version-management tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
video tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
virtualization tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
window-managers tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00