cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/doc/languages-frameworks
History
Cyril Cohen d113661156 coqPackages: etc 
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path,
- updated `coqPackage.heq` (broken url),
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation,
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place,
- make `metaFetch` available from `coqPackages`
2022-05-25 20:00:25 +02:00
..
agda.section.md
android.section.md
beam.section.md doc/beam: minor formatting/copy fixes (#153396) 2022-01-04 18:20:42 +08:00
bower.section.md
chicken.section.md doc: Explain how to use and maintain CHICKEN. 2022-04-21 15:18:26 -07:00
coq.section.md coqPackages: etc 2022-05-25 20:00:25 +02:00
crystal.section.md doc/crystal: Update to mention shard.lock file generation 2021-10-30 16:30:33 +02:00
cuda.section.md cudaPackages: overhaul of how we package cuda packages 2022-04-09 08:50:22 +02:00
dhall.section.md dhall docs: replace two paths with more general versions 2021-11-08 13:21:26 +09:00
dotnet.section.md buildDotnetModule: wrap executables in preFixup 2022-01-12 00:23:53 +01:00
emscripten.section.md doc: minimize mentions of nix-env -i without -A in nixpkgs manual 2021-12-18 12:00:00 +00:00
gnome.section.md doc/gnome: update accordingly to wrapGAppsHook change 2022-03-17 13:25:57 +04:00
go.section.md go: Bunch of fixes when using excludedPackages and other bits 2022-03-04 13:32:44 +10:00
haskell.section.md
hy.section.md
idris.section.md doc: minimize mentions of nix-env -i without -A in nixpkgs manual 2021-12-18 12:00:00 +00:00
index.xml Merge pull request #134514 from MostAwesomeDude/chicken 2022-04-22 14:02:23 +02:00
ios.section.md
java.section.md jre_minimal: document how to use a headless JDK 2021-09-30 10:34:51 +02:00
javascript.section.md nodePackages: update/cleanup documentation 2022-05-14 11:30:21 -07:00
lua.section.md doc: fix broken links 2021-12-09 18:57:38 +00:00
maven.section.md
nim.section.md
ocaml.section.md User manual: document duneVersion 2022-03-28 07:08:14 +02:00
octave.section.md doc: minimize mentions of nix-env -i without -A in nixpkgs manual 2021-12-18 12:00:00 +00:00
perl.section.md doc: minimize mentions of nix-env -i without -A in nixpkgs manual 2021-12-18 12:00:00 +00:00
php.section.md
python.section.md doc/python: use optional-dependencies instead of extras-require 2022-05-22 16:31:45 +02:00
qt.section.md
r.section.md doc: clarify location of rPackages overrides 2021-09-26 07:29:58 +10:00
ruby.section.md doc: ruby-section: add workaround for platform-specific gems 2021-12-08 14:27:52 +01:00
rust.section.md rustPlatform.bindgenHook: init 2022-02-22 19:37:07 +01:00
texlive.section.md nixpkgs/manual: add an explicit mention of CTAN so google can index 2022-03-24 14:14:05 +01:00
titanium.section.md
vim.section.md Merge pull request #164994 from ncfavier/vim-wrapper 2022-03-29 09:50:44 +00:00