Timo Kaufmann 75b0866d0c pari: Make pthread optional, remove unstable		2018-04-24 12:54:59 +02:00
..
default.nix	pari: Make pthread optional, remove unstable	2018-04-24 12:54:59 +02:00
gp2c.nix	gp2c: 0.0.10 -> 0.0.10pl1	2018-03-16 12:51:03 -07:00