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
..
default.nix	fricas: 1.3.1 -> 1.3.2	2018-02-26 06:28:48 -08:00