nixpkgs/pkgs/development/compilers
Fabián Heredia Montiel 37d73021ee idris2: fix packagePaths issue
packagePaths changed between idris2 `v0.3.0` and `v0.4.0` and now
includes a version number in the path.

Fixes nixos/nixpkgs#130310

Co-authored-by: zseri <zseri.devel@ytrizja.de>
Co-authored-by: Mario Rodas <marsam@users.noreply.github.com>
2021-07-15 21:50:33 -05:00
..
4th
abcl
acme
adoptopenjdk-bin adoptopenjdk-bin: 11.0.10 -> 11.0.11, 16.0.0 -> 16.0.1, 8.0.282 -> 8.0.292, 2021-06-28 17:03:56 -05:00
adoptopenjdk-icedtea-web
aldor
aliceml
apache-flex-sdk
arachne-pnr
armips
asn1c
aspectj
ats
ats2
avra
bigloo
binaryen
bluespec
bs-platform
bupc
cakelisp
carp
cc65
ccl
chez
chicken chickenPackages_5.chicken: use lib.makeBinPath instead 2021-06-30 09:23:22 +02:00
ciao
clasp
clean
closure
cmdstan
cmucl
colm
computecpp
copper
coreclr
crystal
crystal2nix
cudatoolkit
dale
dasm
dev86
dmd
dotnet
dtc
ecl
edk2
eli
elm
emscripten
eql
factor-lang
fasm
fasmg
fennel fennel: init at 0.9.2 2021-07-11 11:47:19 -04:00
flasm
flutter
flux
fpc
fsharp
fstar
gambit
gavrasm
gcc
gcc-arm-embedded gcc-arm-embedded: use numVersion as version, rename version to release 2021-07-12 13:11:40 +02:00
gcl
gerbil
gforth
ghc haskell.compiler.ghc884: patch for sphinx >= 4.0 2021-06-22 13:42:55 +02:00
ghcjs-ng
ghdl
gleam gleam: 0.16.0 -> 0.16.1 2021-07-06 23:38:00 +09:00
glslang
gnatboot
gnu-cobol
gnu-smalltalk
go go_1_16: 1.16.5 -> 1.16.6 2021-07-13 17:55:35 +02:00
go-jsonnet
gprolog gprolog: 1.4.5 -> 1.5.0 2021-07-09 23:00:52 +00:00
graalvm graalvm-ce: fix NativePRNG errors on darwin 2021-06-23 12:43:10 +02:00
gwt
halide
haxe
hhvm
hop
iasl
idris2 idris2: fix packagePaths issue 2021-07-15 21:50:33 -05:00
inform6
inform7
inklecate inklecate: init at version 1.0.0 2021-07-08 22:36:54 -07:00
intel-graphics-compiler
intercal
ios-cross-compile
ispc
jasmin
javacard-devkit
jetbrains-jdk
jrsonnet jrsonnet: 0.4.1 -> 0.4.2 2021-07-13 11:07:27 +00:00
jsonnet jsonnet: add output with html documentation (#128990) 2021-07-05 19:09:30 +02:00
julia
juniper
jwasm
koka koka: 2.1.4 -> 2.1.9 2021-07-04 21:45:33 +02:00
kotlin kotlin: 1.5.10 -> 1.5.20 2021-06-25 10:36:27 +05:30
ldc
llvm clang-tools: fix missing extra tools 2021-07-04 12:08:24 +02:00
lobster lobster: unstable-2020-12-25 -> unstable-2021-06-18 2021-06-21 15:32:51 +02:00
manticore
matter-compiler
mcpp
mercury
meta-environment/meta-build-env
mezzo
microscheme
mint
miranda
mit-scheme
mkcl
mlkit
mlton
mono
mosml mosml: dontPatchElf = true 2021-06-20 16:41:28 +02:00
mozart
mruby
mrustc
muon
myrddin myrddin: init at 0.3.1 2021-06-25 17:33:55 +02:00
nasm
neko
nextpnr
nim
nvidia-cg-toolkit
obliv-c
ocaml
odin odin: init at 0.13.0 2021-07-05 22:52:59 +02:00
opa
open-watcom-bin
opendylan
openjdk openjdk: 11.0.10+11 -> 11.0.11+9 2021-06-28 16:25:49 -05:00
openspin
ophis
oraclejdk
orc
osl
owl-lisp
paco
pakcs
passerine
pforth
picat
polyml
ponyc ponyc: 0.41.1 -> 0.42.0 2021-07-07 14:42:40 -04:00
purescript purescript: 0.14.2 -> 0.14.3 2021-07-07 13:10:50 +09:00
qbe qbe: enable tests 2021-06-21 15:55:50 +02:00
rasm
reason
rgbds
roslyn
rust rustc: 1.52.1 -> 1.53.0 2021-06-19 10:16:10 +09:00
sagittarius-scheme
sbcl
scala
scala-runners scala-runners: init at unstable-2020-02-02 2021-06-25 10:47:30 -04:00
scryer-prolog maintainers: add malbarbo 2021-06-18 12:36:14 -03:00
sdcc
seexpr
serpent
shaderc
sjasmplus
smlnj smlnjBootstrap: move dependents over to regular smlnj 2021-06-28 10:50:56 +01:00
solc
souffle
spasm-ng
spirv-llvm-translator
squeak
stalin
swi-prolog
swift
terra terra: fix LuaJIT fetch per @jnetod in #125896 2021-06-17 10:54:22 -07:00
teyjus
tinycc
tinygo
tvm
unison
urn
urweb
vala Merge staging-next into staging 2021-06-25 12:06:08 +00:00
vlang vlang: 0.1.21 -> weekly.2021.25 2021-06-27 10:37:06 +02:00
vyper
wcc
wla-dx
x11basic
xa
yap
yasm
yosys
z88dk
zasm
zig
zulu
zz