Commit graph

15 commits

Author SHA1 Message Date
R. RyanTM dd03c2d78b arb: 2.16.0 -> 2.17.0
* arb: 2.16.0 -> 2.17.0 (#71489)

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

* arb: add meta.homepage
2019-11-14 13:55:43 +01:00
Vladimír Čunát 991c0e1618
treewide: mark packages as buildable on darwin (PR #45364)
vcunat amended the commit a bit; see the PR for details/discussion.
2019-09-15 10:50:08 +02:00
volth 7b8fb5c06c treewide: remove redundant quotes 2019-09-08 23:38:31 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
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