Luc Chabassier 65f330a83d Update doc/languages-frameworks/coq.section.md ... Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>		2022-07-13 17:42:46 +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	Update doc/languages-frameworks/coq.section.md	2022-07-13 17:42:46 +02:00
crystal.section.md
cuda.section.md	cudaPackages: overhaul of how we package cuda packages	2022-04-09 08:50:22 +02:00
dhall.section.md
dotnet.section.md	buildDotnetModule: allow passing derivations to nugetDeps	2022-06-21 15:45:52 +02:00
emscripten.section.md
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
index.xml	Merge pull request #134514 from MostAwesomeDude/chicken	2022-04-22 14:02:23 +02:00
ios.section.md
java.section.md
javascript.section.md	nodePackages: update/cleanup documentation	2022-05-14 11:30:21 -07:00
lua.section.md
maven.section.md
nim.section.md
ocaml.section.md	User manual: document duneVersion	2022-03-28 07:08:14 +02:00
octave.section.md
perl.section.md	buildPerlPackage: don't mess with pname and phase out use of name	2022-06-07 12:49:23 -07:00
php.section.md	php74: Drop PHP 7.4 and add aliases throwing an error	2022-06-08 18:11:55 +02:00
python.section.md	doc/python: update python version references	2022-06-06 11:46:06 -07:00
qt.section.md
r.section.md
ruby.section.md
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	vimUtils: remove vam support	2022-07-10 20:38:09 +02:00