Commit graph

7 commits

Author SHA1 Message Date
Frederik Rietdijk d9fa74ba78 Merge master into staging 2018-08-09 18:28:15 +02:00
Timo Kaufmann 291018b34e arb: 2.13.0 -> 2.14.0 (#44600) 2018-08-07 16:38:34 +02:00
John Ericson db965063b3 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
Timo Kaufmann 398dad270a sage, arb: update sage dependencies arb and pynac
Removes the version pinning for arb and pynac by backporting the
upstream (sage) package upgrades. This necessitates a new patch for arb,
which was however already proposed and accepted upstream.
2018-06-30 17:05:56 +02:00
Timo Kaufmann 1dbdffa099 arb: 2.8.1 -> 2.13.0 2018-04-22 23:42:26 +02:00
Michael Raskin 5bdd22bf4e arb-git: init at 2.9.0pre20161013. This ARB version is less annoying to use with FLINT 2016-10-26 11:06:41 +02:00
Michael Raskin 9fe49b39fb arb: init at 2.8.1 2016-10-26 11:06:35 +02:00