Philip Taron
d3b17d0b54
Avoid top-level with ...; in pkgs/development/interpreters/eff/default.nix
2024-03-26 16:41:24 +01:00
stuebinm
ff1a94e523
treewide: add meta.mainProgram to packages with a single binary
...
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
Vincent Laporte
e381fef2a8
eff: 5.0 → 5.1
2024-01-05 14:11:03 +01:00
Ulrik Strid
376e9ceead
treewide: add strictDeps = true to most packages depending on ocaml
2023-02-03 08:59:34 +01:00
Felix Buehler
87316d778b
various: cleanup of "inherit version;"
2021-07-18 00:19:24 +02:00
Ben Siraphob
001c0cbe54
pkgs/development/interpreters: stdenv.lib -> lib
2021-01-23 20:29:03 +07:00
Vincent Laporte
2b8ee31b6d
eff: compatibility with JSoO 3.6.0
2020-06-28 09:59:04 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
c0bw3b
0afae5c14b
Treewide: fix more URL permanent redirects
...
Related issue: #60004
Previous PR: #73478
2019-11-21 15:37:34 -08:00
volth
c814d72b51
treewide: name -> pname
2019-08-17 10:54:38 +00:00
Vincent Laporte
5f82c322d6
eff: 20140928 -> 5.0 ( #39264 )
2018-04-23 08:16:03 +01:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
Vincent Laporte
4168706d4f
OCaml modules: make explicit some dependencies to ocamlbuild
2016-10-09 11:55:19 +02:00
Tuomas Tynkkynen
bac26e08db
Fix lots of fetchgit hashes (fallout from #15469 )
2016-06-03 17:17:08 +03:00
Nicolas B. Pierron
72c6f8a140
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-13 19:08:26 +00:00
Jirka Marsik
3ee1f6ee79
Added eff-20140928
2014-10-28 17:21:55 +01:00
