Ben Siraphob
|
418a37d99c
|
coq2html: 20170720 -> 1.2
|
2021-05-09 22:00:15 +02:00 |
|
Profpatsch
|
4a7f99d55d
|
treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938
meta = with stdenv.lib;
is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.
This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.
The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
|
2021-01-11 10:38:22 +01:00 |
|
Ben Siraphob
|
db74029e3e
|
treewide: remove package names from prefix of descriptions
|
2020-10-27 09:15:07 -07:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
volth
|
c814d72b51
|
treewide: name -> pname
|
2019-08-17 10:54:38 +00:00 |
|
Piotr Bogdan
|
5d0eeeee38
|
coq2html: switch to default make
|
2018-11-15 17:41:25 +00:00 |
|
volth
|
52f53c69ce
|
pkgs/*: remove unreferenced function arguments
|
2018-07-21 02:48:04 +00:00 |
|
John Wiegley
|
ea8798acc6
|
coq2html: New expression
|
2017-08-01 09:30:20 -07:00 |
|
Franz Pletz
|
e69dfc252a
|
Revert "coq2html: New expression"
This reverts commit 31437ccf7a.
|
2017-07-20 19:36:50 +02:00 |
|
John Wiegley
|
31437ccf7a
|
coq2html: New expression
|
2017-07-20 11:51:25 -04:00 |
|