Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01: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 |
|
Simon Lackerbauer
|
f7367cbf1c
|
abella: 2.0.5 -> 2.0.6
|
2019-01-08 17:05:30 +00:00 |
|
Ben Darwin
|
d2c20d3a21
|
abella: 2.0.4 -> 2.0.5
|
2018-04-04 08:15:01 +02:00 |
|
Simon Lackerbauer
|
800f751740
|
abella: 2.0.2 -> 2.0.4
|
2017-10-16 02:39:16 +02:00 |
|
Vincent Laporte
|
3b7c68615e
|
abella: fix build with OCaml ≥ 4.03
|
2017-09-22 03:32:06 +00:00 |
|
Ben Darwin
|
172167c937
|
new package: abella 2.0.2
|
2015-03-24 00:54:03 -04:00 |
|