mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2024-06-09	treewide: Remove indefinite article from meta.description	Alexis Hildebrandt	1	-1/+1
2024-03-19	treewide: add meta.mainProgram to packages with a single binary	stuebinm	1	-0/+1
2023-03-07	leo2: add darwin support	Weijia Wang	1	-1/+3
2023-02-03	treewide: add strictDeps = true to most packages depending on ocaml	Ulrik Strid	1	-2/+4
2021-10-14	leo2: 1.6.2 → 1.7.0	Vincent Laporte	1	-8/+19
2021-02-19	treewide: makeWrapper buildInputs to nativeBuildInputs	Ben Siraphob	1	-1/+2
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
2020-04-10	treewide: Per RFC45, remove all unquoted URLs	Michael Reilly	1	-1/+1
2019-08-15	treewide: name -> pname (easy cases) (#66585)	volth	1	-1/+1
2018-06-28	treewide: http -> https sources (#42676)	Silvan Mosberger	1	-1/+1
2016-07-31	leo2: remove use of `builderDefsPackage` (#17398)	Robert Helgesson	1	-49/+22
2016-05-09	Fix some URLs that lacked a URI scheme	Eelco Dolstra	1	-1/+1
2014-12-21	Fix license attribute of many bsd-like licensed packages	Pascal Wittmann	1	-1/+1
2014-08-12	Update and fix LEO2 prover	Michael Raskin	1	-10/+12
2013-06-07	Add package versions to some of the packages or fix existing ones to conform ...	Evgeny Egorochkin	1	-1/+1
2012-01-18	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	Eelco Dolstra	1	-3/+3
2011-08-05	Update LEO-II	Michael Raskin	1	-2/+2
2010-12-01	Adding LEO2 automated higher-order prover	Michael Raskin	1	-0/+62