Commit Graph

11 Commits

Author SHA1 Message Date
volth
f3282c8d1e treewide: remove unused variables (#63177)
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
R. RyanTM
4e6049bf8e arb: 2.15.1 -> 2.16.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/arb/versions
2018-12-16 08:17:13 -08:00
Matthew Bauer
5ad5708f83 arb-git: remove
Older than the stable version
2018-11-21 09:39:23 -06:00
Timo Kaufmann
fbea2cd77a arb: 2.14.0 -> 2.15.1 2018-10-27 11:27:03 +02:00
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