Timo Kaufmann 58edcdc6ba ntl: 11.4.2 -> 11.4.3 ... Upstream[1]: > I uploaded NTL 11.4.3 to https://www.shoup.net/ntl/ > This fixes an embarrassing build problem in 11.4.2. [1] https://groups.google.com/forum/#!topic/sage-devel/V5zHWIpRIJo		2020-01-05 11:07:38 +01:00
..
default.nix	ntl: 11.4.2 -> 11.4.3	2020-01-05 11:07:38 +01:00