Timo Kaufmann 135081a538 brial: 1.2.5 -> 1.2.6 ... Motivation is mostly https://github.com/BRiAl/BRiAl/pull/37, which is a pre-requiste for getting the sage tests to pass with python3.		2019-12-13 20:31:31 +01:00
..
default.nix	brial: 1.2.5 -> 1.2.6	2019-12-13 20:31:31 +01:00