public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/compilers
History
R. RyanTM 96e2be5084 pony-stable: 0.1.2 -> 0.1.3 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/pony-stable/versions.

These checks were done:

- built on NixOS
- /nix/store/d6b9yh4mbc6g4ysgzzdj4xbi49cy228m-pony-stable-0.1.3/bin/stable passed the binary check.
- 1 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 0.1.3 with grep in /nix/store/d6b9yh4mbc6g4ysgzzdj4xbi49cy228m-pony-stable-0.1.3
- directory tree listing: https://gist.github.com/b5577bbf57ef8fa733c1e1aee8ab8908
- du listing: https://gist.github.com/c69c238d1ab5c35fba5ade17f912bed5
2018-06-13 23:06:40 -07:00
..
abcl
abcl: 1.4.0 -> 1.5.0
2017-08-21 03:04:43 -04:00
aldor
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
aliceml
aliceml: mark as broken
2017-03-30 13:52:23 +02:00
apache-flex-sdk
adobe_flex_sdk: 4.0.0.14159 -> apache-flex-sdk: 4.16.1 (#41257)
2018-06-02 10:44:24 +02:00
arachne-pnr
arachne-pnr: 2018.03.07 -> 2018.05.03
2018-05-03 20:05:13 -05:00
as31
as31: use cve tag in patchname for vulnix auto-detection
2018-04-22 17:45:44 +02:00
asn1c
asn1c: 0.9.27 -> 0.9.28
2017-05-07 11:50:47 +02:00
aspectj
aspectj: use sha256 hash
2017-01-24 16:41:21 +00:00
ats
…
ats2
ats2: 0.3.9 -> 0.3.11
2018-06-07 11:44:06 +00:00
avian
avian: use no error
2018-06-10 20:34:40 -04:00
avra
typo
2017-11-10 22:48:33 +01:00
bigloo
treewide: fixup packages with RPATH problems
2017-05-16 18:30:58 +02:00
binaryen
binaryen: 44 -> 45
2018-03-31 18:35:15 -07:00
boo
tree-wide: autorename gnome packages to use dashes
2018-02-25 17:41:16 +01:00
bupc
…
ccl
ccl: fix build after #28029
2018-05-29 14:12:18 +00:00
chez
chez-scheme: 9.5-20171109 -> 9.5.1
2018-02-10 14:14:04 -06:00
chicken
treewide: get rid of platforms.allBut
2018-03-14 18:44:42 -04:00
clasp
clasp-common-lisp: init at 0.4.99.20170801
2017-10-24 08:43:41 +02:00
clean
…
closure
closurecompiler: 20180402 -> 20180506
2018-05-12 15:16:17 +02:00
cmdstan
cmdstan: 2.9.0 -> 2.17.1 (#33076)
2017-12-26 17:44:13 +00:00
cmucl
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"
2017-09-07 12:51:21 +02:00
colm
colm: 0.13.0.5 -> 0.13.0.6
2018-05-24 22:10:58 +02:00
compcert
compcert: Permit building with Coq 8.7.2
2018-02-16 14:10:45 -08:00
coreclr
coreclr: 2.0.0 -> 2.0.7
2018-04-12 14:44:42 +01:00
crystal
Crystal: 0.24.1 -> 0.24.2
2018-05-26 18:27:50 +02:00
cudatoolkit
cudatoolkit: add 9.0
2018-05-31 22:21:54 +02:00
dale
misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
2017-09-21 15:49:53 -04:00
dev86
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-08-03 13:34:44 +00:00
dmd
dmd,dtools,dub: 2.079.0 -> 2.079.1
2018-05-19 23:17:30 +02:00
dotnet/sdk
dotnet-sdk : init at 2.0.3
2017-10-25 00:04:16 +02:00
dtc
dtc: fetch over https
2018-03-13 14:26:18 +01:00
ecl
ecl: Use boehmgc
2018-04-24 00:42:47 +02:00
edk2
edk2, OVMF: Build on aarch64
2018-03-21 23:19:26 +02:00
eli
treewide: fix derivation names
2018-05-28 05:59:57 -07:00
elm
elm: override either for elm-interface-to-json
2018-04-02 01:05:03 +02:00
emscripten
treewide: add version to packages
2018-05-25 15:48:05 -05:00
eql
…
factor-lang
treewide: transition from mesa_glu to libGLU
2018-02-24 17:05:43 +02:00
fpc
lazarus: 1.8.2 -> 1.8.4
2018-05-26 14:06:59 -07:00
fsharp
corrected spelling mistake
2018-01-08 16:45:10 +11:00
fsharp41
treewide: Manual fix more pkg-config build-inputs
2017-09-21 15:49:54 -04:00
fstar
fstar: 0.9.5.0 -> 0.9.6.0
2018-05-25 10:28:37 +02:00
gambit
gambit-unstable: 2018-03-26 -> 2018-05-30
2018-05-29 22:54:18 -04:00
gcc
Merge branch 'binutils-always-patch' into ios-mini-staging
2018-05-22 13:37:32 -04:00
gcc-arm-embedded
gcc-arm-embedded: 5-2016-q2-update -> 6-2017-q2-update
2017-08-15 21:36:30 +02:00
gcl
gcl_2_6_13_pre: init at 2.6.13pre50. GCL hasn't had releases for a long time, but there are relatively regular prereleases
2017-01-03 18:06:46 +01:00
gerbil
gerbil-unstable: 2018-04-03 -> 2018-05-12
2018-05-29 22:54:18 -04:00
gforth
…
ghc
ghc: Default integer-simple usage based one whether GNU MP is available
2018-06-11 15:51:57 -04:00
ghcjs
Merge pull request #38288 from ElvishJerricco/elvishjerricco-ghcjs-maintainer
2018-04-06 10:54:57 +02:00
ghcjs-ng
ghcjs-ng: add haskellCompilerName attribute
2018-06-13 16:34:50 -04:00
glslang
vulkan-loader: 1.0.61.1 -> 1.1.70.0
2018-03-22 21:41:04 -07:00
gnu-cobol
gnu-cobol: 2.0-rc2 -> 2.2
2017-12-21 10:40:02 +01:00
gnu-smalltalk
treewide: Manual fix more pkg-config build-inputs
2017-09-21 15:49:54 -04:00
go
Merge remote-tracking branch 'upstream/master' into staging
2018-05-08 09:36:00 -05:00
gprolog
treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux
2018-04-30 18:12:10 -05:00
graalvm
graalvm8: 0.31 -> 1.0.0-rc1 (#41335)
2018-05-31 23:27:41 +02:00
gwt
treewide: abandon Google Code homepages
2017-11-03 18:52:28 +00:00
haxe
haxe: Fix path to stdlib and add small test
2018-04-17 13:59:36 +02:00
hhvm
treewide: http to https
2018-04-30 21:39:20 -07:00
hop
…
iasl
Revert "iasl: 20180313 -> 20180508 (#40613)"
2018-05-19 10:39:32 +02:00
icedtea-web
icedtea8_web: 1.6.2 -> 1.7.1
2018-04-02 10:52:44 -07:00
inform7
inform7: init at 6M62
2016-12-04 17:22:54 -06:00
intercal
…
ios-cross-compile
…
ispc
clangSelf, clangWrapSelf, llvmPackagesSelf: Remove this unused thing
2018-05-23 00:27:30 -04:00
jetbrains-jdk
jetbrainsjdk: 152b1136.20 -> 152b1248.6
2018-06-08 23:56:12 +10:00
jikes
jikes: use sha256 hash
2017-01-24 16:42:44 +00:00
jsonnet
jsonnet: 0.9.5 -> 0.10.0 (#37455)
2018-03-20 11:18:38 -04:00
julia
julia: add some version info to passthru, will be used by julia2nix
2018-06-04 15:06:33 +02:00
jwasm
jwasm: init at git-2017-11-22
2018-01-05 01:48:11 -02:00
kotlin
Merge pull request #39765 from r-ryantm/auto-update/kotlin
2018-05-05 16:10:25 -05:00
ldc
ldc: wrap ldc2 binary with C compiler because it's needed for linking
2018-05-19 23:16:55 +02:00
lessc
…
llvm
llvm 3.8+: Remove unneeded libcxxabi dependency
2018-06-13 21:06:00 -04:00
manticore
manticore: 2014.08.18 -> 2017.08.22, fix build
2018-03-13 23:51:19 +01:00
matter-compiler
matter-compiler: use gemdir
2017-01-18 00:52:51 +01:00
mcpp
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
mentor
treewide: homepage+src updates (found by repology, #33263)
2018-01-05 20:42:46 +01:00
mercury
…
meta-environment/meta-build-env
metaBuildEnv: use sha256 hash
2017-01-24 16:48:43 +00:00
mezzo
OCaml modules: make explicit some dependencies to ocamlbuild
2016-10-09 11:55:19 +02:00
microscheme
microscheme: replaced avrgcclibc with separate dependencies
2017-09-05 13:52:34 +02:00
mint
Mint: 2018-05-27 -> 0.0.3 (#41554)
2018-06-06 22:08:34 +02:00
mit-scheme
more platforms.gnu -> gnu ++ linux changes, manually
2018-04-30 18:14:44 -05:00
mkcl
mkcl: 1.1.9 -> 1.1.10.2017-11-14
2017-11-15 17:10:00 +00:00
mlton
mlton: darwin bootstrap fixes
2016-09-25 20:47:16 -04:00
mono
mono: add knownVulnerabilities for 4.0.4
2018-04-22 15:46:51 -05:00
mozart
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"
2017-09-07 12:51:21 +02:00
nasm
nasm: 2.13.02 -> 2.13.03
2018-02-28 10:18:38 +08:00
neko
treewide: use more HTTPS URLs
2018-03-24 22:04:25 -07:00
nim
nim: 0.17.2 -> 0.18.0 (#40556)
2018-05-20 14:33:22 +01:00
nvidia-cg-toolkit
…
obliv-c
obliv-c: fix build with glibc 2.26
2017-11-28 11:10:44 +00:00
ocaml
treewide: isArm -> isAarch32
2018-04-25 15:50:41 -04:00
opa
ocamlPackages.ssl: 0.5.3 -> 0.5.4
2017-10-05 17:09:50 +00:00
opendylan
Merge pull request #37634 from coreyoconnor/opendylan
2018-04-09 14:01:00 -05:00
openjdk
openjdk: fix truststore-from-env patch for jdk10
2018-06-09 20:20:47 -04:00
oraclejdk
treewide: remove platform assertions
2018-05-03 13:09:20 -05:00
orc
orc: doCheck broken on i686 on Hydra, again
2017-12-01 07:49:25 +01:00
owl-lisp
owl-lisp: 0.1.15 -> 0.1.16
2018-06-08 01:39:17 -07:00
pakcs
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
picat
picat: add meta.maintainers
2017-10-22 18:30:33 -06:00
polyml
polyml: 5.7 -> 5.7.1
2018-03-29 11:16:14 -07:00
ponyc
pony-stable: 0.1.2 -> 0.1.3
2018-06-13 23:06:40 -07:00
purescript/psc-package
psc-package v0.3.2-pre -> v0.3.2
2018-04-07 16:00:33 -06:00
reason
ocamlPackages.reason: 3.0.3 -> 3.0.4
2017-12-09 12:42:56 +01:00
rgbds
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
rust
rust: Fix typo in binary build comment.
2018-06-12 19:01:24 -04:00
sbcl
sbcl: 1.4.6 -> 1.4.7
2018-05-02 02:46:52 +02:00
scala
dotty: 0.6.0-RC1 -> 0.8.0-RC1
2018-06-07 13:15:47 +02:00
sdcc
sdcc: 3.6.0 -> 3.7.0
2018-03-12 08:35:16 +01:00
serpent
…
shaderc
shaderc: mark as broken
2017-09-10 12:38:19 +00:00
smlnj
darwin: cleanup obsolete sdks
2017-03-24 08:06:03 +01:00
solc
solc: 0.4.23 -> 0.4.24 (#41631)
2018-06-10 10:37:58 +02:00
souffle
souffle: fix on darwin
2018-05-07 00:17:49 -05:00
souper
z3_opt: remove and replace with z3
2017-09-02 04:19:11 -05:00
squeak
Remove nckx as a maintainer for all packages
2018-01-16 23:00:49 +01:00
stalin
…
swi-prolog
swi-prolog: 7.4.2 -> 7.6.4
2018-03-13 22:46:39 -07:00
swift
swift: loosen platforms to all linux other than known-bad i686
2018-03-31 00:19:46 -05:00
terra
terra: Broken on i686 (and Darwin)
2016-09-03 03:24:25 +03:00
teyjus
teyjus: actually update to 2.1
2018-03-15 10:37:55 -07:00
tinycc
tinycc: 0.9.27pre-20171016 -> 0.9.27
2017-12-18 16:06:42 +01:00
urn
urn: init at 0.7.1
2018-05-28 21:24:03 +02:00
urweb
urweb: fix build
2017-12-29 02:18:35 +01:00
vala
vala: drop 0.23
2018-05-22 12:02:12 +08:00
vs90wrapper
…
wla-dx
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
yap
yap: -fpermissive to fix build with gcc7
2018-02-18 18:11:11 +01:00
yasm
…
yosys
yosys: 2018.03.21 -> 2018.05.03
2018-05-03 20:05:43 -05:00
z88dk
z88dk: init at unstable-2018-02-20 (#35244)
2018-02-20 22:06:25 +00:00
zig
zig: 0.1.1 -> 0.2.0
2018-03-20 13:32:10 -04:00
zulu
zulu8: 8.21.0.1 -> 8.28.0.1 & openjdk: 8.0.131 -> 8.0.163
2018-04-07 11:34:47 -04:00