3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science
Vincent Laporte 48406e3fca coq_8_14: 8.14.0 → 8.14.1
And build Coq ≥ 8.14 with OCaml 4.12
2021-12-01 13:46:15 +01:00
..
astronomy gildas: 20200901_a -> 20211101_a (#146224) 2021-11-17 01:03:57 -05:00
biology mrtrix: 3.0.2 -> unstable-2021-11-25 2021-11-30 21:03:53 -08:00
chemistry octopus: 11.2 -> 11.3 2021-11-28 00:04:47 +01:00
electronics picoscope: set LANG=C in wrapper 2021-11-23 11:26:40 +01:00
geometry pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
logic coq_8_14: 8.14.0 → 8.14.1 2021-12-01 13:46:15 +01:00
machine-learning finalfusion-utils: use buildFeature 2021-11-16 08:11:48 -05:00
math maxima, sage: Simplify lisp-compiler arguments namings 2021-11-29 15:51:30 +02:00
medicine treewide: use mirror URLs where available 2021-11-06 01:56:39 +00:00
misc root5: binutils 2.37 fix 2021-11-28 08:49:32 +00:00
molecular-dynamics gromacs: fix double precission build on aarch64 2021-11-28 12:43:57 +01:00
networking/sumo
physics treewide: quote urls according to rfc 0045 (#145260) 2021-11-10 11:37:56 +01:00
programming plm: fix old link & deprecate phases 2021-08-08 23:53:53 +02:00
robotics betaflight-configurator: 10.7.0 -> 10.7.1 2021-10-29 03:14:38 +00:00