Commit Graph

81319 Commits

Author SHA1 Message Date
Alexander Ried
9f0dffa84e networkmanagerapplet: 1.2.2 -> 1.4.2
Needs ModemManager for configuration of WWAN and jansson for
team configuration editing.
2016-10-10 09:42:59 +02:00
Alexander Ried
2117769601 modemmanager: 1.4.6 -> 1.6.2
Now supports systemd resume
2016-10-10 09:42:59 +02:00
Alexander Ried
1fa0a69fc2 networkmanager_openvpn: 1.2.2 -> 1.2.6 2016-10-10 09:42:59 +02:00
Alexander Ried
6bdf707641 networkmanager_vpnc: 1.2.2 -> 1.2.4 2016-10-10 09:42:59 +02:00
Alexander Ried
6f8a8fd9d4 networkmanager_pptp: 1.2.2 -> 1.2.4 2016-10-10 09:42:59 +02:00
Alexander Ried
f9aa64a6c4 networkmanager_openconnect: no update 2016-10-10 09:42:59 +02:00
Alexander Ried
8f631f575c networkmanager: 1.2.2 -> 1.4.2 2016-10-10 09:42:59 +02:00
Lancelot SIX
db4b15bbbf gdb: 7.11.1 -> 7.12
See http://lists.gnu.org/archive/html/info-gnu/2016-10/msg00007.html
for release announcement
2016-10-10 09:08:43 +02:00
Jörg Thalheim
1f72d9c424 Merge pull request #19414 from ericsagnes/pkg-update/styx
styx: 0.1.0 -> 0.2.0
2016-10-10 08:54:08 +02:00
Jörg Thalheim
5b9913b178
mdk: use sha256 instead of md5 2016-10-10 08:52:13 +02:00
Jörg Thalheim
75a6468d3c
opentyrian: 0.0.955 -> 2.1.20130907 2016-10-10 08:43:03 +02:00
Eric Sagnes
a6e112a5b7 styx: 0.1.0 -> 0.2.0 2016-10-10 15:32:42 +09:00
Jörg Thalheim
905239db28 Merge pull request #18868 from RonnyPfannschmidt/enpass
enpass: init at 5.3.0
2016-10-10 07:56:56 +02:00
Jörg Thalheim
7098404505 Merge pull request #19401 from NeQuissimus/slack_2_2_1
slack: 2.1.2 -> 2.2.1
2016-10-10 00:15:39 +02:00
Michiel Leenaars
08011fa2af quickder: init at 1.0-RC1 2016-10-09 22:45:51 +02:00
Michiel Leenaars
651beb0592 asn2quickder: init at 0.7RC1 2016-10-09 22:45:51 +02:00
Michiel Leenaars
19f2556773 asn1ate: init at unstable-201608010 2016-10-09 22:45:51 +02:00
Michiel Leenaars
620f367a60 hexio: init at 1.0RC1 2016-10-09 22:45:51 +02:00
Jörg Thalheim
cd99ddfbce Merge pull request #19398 from offlinehacker/pkgs/kops/init
kops: init at 1.4.0
2016-10-09 22:15:53 +02:00
Tim Steinbach
697dbb9741
mariadb: 10.1.17 -> 10.1.18 2016-10-09 16:04:58 -04:00
sternenseemann
3fb2993cb3 maintainers: rename lukasepple according to github account name 2016-10-09 22:04:22 +02:00
sternenseemann
e0faee950c valadoc: init at 2016-10-09 2016-10-09 22:04:14 +02:00
Jörg Thalheim
8a690b2a9f Merge pull request #17922 from bjornfor/php-config-file-scan-dir
php: change config-file-scan-dir from /etc to /etc/php.d
2016-10-09 21:45:48 +02:00
Jörg Thalheim
e3ed2a5df9 Merge pull request #19400 from benley/bazel-linux-i686
bazel: Allow linux i686 builds too
2016-10-09 21:36:06 +02:00
Jörg Thalheim
bb983fbfba Merge pull request #19397 from k0ral/nixos-unstable
handbrake: add libx265 to LD_LIBRARY_PATH
2016-10-09 21:32:32 +02:00
Benjamin Staffin
d42fb35713 bazel: Allow linux i686 builds too 2016-10-09 15:18:29 -04:00
Jörg Thalheim
c40b3e55e7 Merge pull request #19373 from rnhmjoj/afpfs
afpfs-ng: init at 0.8.2
2016-10-09 21:12:59 +02:00
Tim Steinbach
f9d37de50c
slack: 2.1.2 -> 2.2.1 2016-10-09 15:07:21 -04:00
Benjamin Staffin
3c39d75543 Merge pull request #19380 from IreneKnapp/nixos-unstable
Update the packaged Bazel to 0.3.2, and also make it actually work.
2016-10-09 14:49:23 -04:00
rnhmjoj
8546928f69
afpfs-ng: init at 0.8.2 2016-10-09 20:13:49 +02:00
sternenseemann
011f3d700d libgee_0_8: init at 0.8.6
some vala packages require this specific version
2016-10-09 20:08:47 +02:00
Jaka Hudoklin
2041f5b817 kops: init at 1.4.0 2016-10-09 19:31:44 +02:00
schneefux
5cc199265c
hugo: v0.16 -> 0.17 2016-10-09 18:44:25 +02:00
Ricardo Ardissone
ca6b9be5d1
openclonk: init at 7.0
fixes #17931
2016-10-09 18:34:10 +02:00
koral
dd482470c4 handbrake: add libx265 to LD_LIBRARY_PATH 2016-10-09 18:20:57 +02:00
Tim Steinbach
48907cb051 Merge pull request #19364 from NeQuissimus/firefox_49_0_1
firefox: 49.0 -> 49.0.1
2016-10-09 11:48:07 -04:00
Domen Kožar
69e614d1e6 nixpkgs: add tested alias for unstable job 2016-10-09 17:43:23 +02:00
Jörg Thalheim
fbc6dc2f52 Merge pull request #18697 from rvl/pump.io-1.0.0
pump.io: git-2015-11-09 -> 1.0.0
2016-10-09 17:20:02 +02:00
Peter Simons
7e0dc5ab69 Merge pull request #19394 from aherrmann/pr_diagrams_pgf
haskell-diagrams-pgf: fix build
2016-10-09 17:18:41 +02:00
Andreas Herrmann
7c741722e2 diagrams-pgf: Fix dependencies 2016-10-09 17:07:17 +02:00
Will Dietz
5b3bf1fffa llvm-3.8: Fix clang build on non-darwin.
'set-xcode-analyzer' is only installed on APPLE.
2016-10-09 16:57:40 +02:00
jhhuh
89cbb88d26 bup-0.28.1: fix on darwin, upstream released patch removed 2016-10-09 16:54:51 +02:00
AndersonTorres
fd38aeafcd mgba: git-20160325 -> 0.5.1 2016-10-09 16:47:54 +02:00
Robin Gloster
717ff85b14 libnfnetlink: use sha256 hash 2016-10-09 16:19:04 +02:00
Michael Raskin
f603dc11a6 fetch*: print a trace warning about md5 deprecation 2016-10-09 16:19:04 +02:00
Andreas Herrmann
50aff7e07b texrunner: Fix build
Tests fail due to nonexistent tex executables.
2016-10-09 15:39:05 +02:00
romildo
658e216cc6 maia-icon-theme: -> 2016-09-16
Add versioning using the date of revision on the git repository. Also
update to the latest revision, which includes a dark version of the icon
theme.

The cmake scripts install the icons at subdirectories 'maia' and
'maia-dark'. Also use these names. The difference is in the
capitalization of the names.
2016-10-09 10:27:24 -03:00
Robin Gloster
e904bb4871
nixbot: init at unstable-2016-10-09 2016-10-09 15:05:02 +02:00
Christine Koppelt
6c9cc19915 arduino: 1.6.9 -> 1.6.12 (#19335) 2016-10-09 14:27:04 +02:00
Joachim F
78fdf21710 Merge pull request #19389 from matthiasbeyer/update-mutt
mutt: 1.7.0 -> 1.7.1
2016-10-09 14:08:38 +02:00
Joachim F
9270aa6677 Merge pull request #19388 from cko/git-extras
git-extras: 4.1.0 -> 4.2.0
2016-10-09 14:08:13 +02:00
aszlig
bc6caeabcc
chromium: Fix wrong hash for beta channel
It seems that upstream has re-uploaded the tarball again (see
0c2683cc11).

I've verified the new hash from two different hosts.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2016-10-09 13:43:04 +02:00
Matthias Beyer
c4c1ec9a5b mutt: 1.7.0 -> 1.7.1 2016-10-09 13:19:17 +02:00
Ronny Pfannschmidt
98895f5b67 enpass: init at 5.3.0 2016-10-09 13:16:50 +02:00
Robin Gloster
8d317336ef
sslscan: use fetchFromGitHub 2016-10-09 12:52:02 +02:00
Franz Pletz
5325163374
sslscan: use oldest openssl to support SSLv2/SSLv3 checking 2016-10-09 12:51:49 +02:00
Robin Gloster
cd45a2a1ac
github3: 1.0.0a2 -> 1.0.0a4 2016-10-09 12:46:27 +02:00
Robin Gloster
30accf4d3e
treewide: fix licence -> license occurences 2016-10-09 12:45:32 +02:00
Christine Koppelt
9d85dd7ec0 git-extras: 4.1.0 -> 4.2.0 2016-10-09 12:37:22 +02:00
Vincent Laporte
4168706d4f OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
Vincent Laporte
731b616fdb camlp4: fix for OCaml-4.03 2016-10-09 11:55:19 +02:00
Joachim Fasting
95dc15cf0f
electrum: minor meta cleanup 2016-10-09 11:28:51 +02:00
Joachim Fasting
16cc58977a
pythonPackages.jsonrpclib: init at 0.1.7 2016-10-09 11:28:50 +02:00
Jörg Thalheim
5275d07fea Merge pull request #19357 from NeQuissimus/httpstat
httpstat: init at 1.2.0
2016-10-09 11:28:31 +02:00
Jörg Thalheim
7a6e2837ef Merge pull request #19371 from NeQuissimus/oh_my_zsh_20161008
oh-my-zsh: 2016-09-24 -> 2016-10-08
2016-10-09 10:05:57 +02:00
Jörg Thalheim
b73cbaffa9 Merge pull request #19376 from cedeel/lemonbar-xft
lemonbar-xft-unstable: 2015-07-23 -> 2016-02-17
2016-10-09 10:01:16 +02:00
Jörg Thalheim
6c3b4d3a14 Merge pull request #19378 from romildo/fix.input-fonts
input-fonts: fix license
2016-10-09 09:52:22 +02:00
Irene Knapp
81c82bb5d6 Update the packaged Bazel to 0.3.2, and also make it actually work. 2016-10-08 20:54:12 -07:00
romildo
a50e919950 input-fonts: fix license 2016-10-09 00:01:34 -03:00
Chris Darnell
e1766240aa lemonbar-xft-unstable: 2015-07-23 -> 2016-02-17
Changed name from bar-xft-git to conform to guidelines.
2016-10-08 21:20:34 -04:00
Chris Darnell
9e577f4742 lemonbar: 1.2pre -> 1.2 2016-10-08 20:52:07 -04:00
Franz Pletz
0d59fc1169
cacerts: refactor, add blacklist option
Previously, the list of CA certificates was generated with a perl script
which is included in curl. As this script is not very flexible, this commit
refactors the expression to use the python script that Debian uses to
generate their CA certificates from Mozilla's trust store in NSS.

Additionally, an option was added to the cacerts derivation and the
`security.pki` module to blacklist specific CAs.
2016-10-09 02:00:18 +02:00
Tim Steinbach
26f75f7d31
httpstat: init at 1.2.0 2016-10-08 18:48:04 -04:00
Jörg Thalheim
cefe4a816d Merge pull request #19368 from lsix/update_matplotlib
pythonPackages.matplotlib: 1.5.1 -> 1.5.3
2016-10-09 00:36:34 +02:00
Tim Steinbach
276086c540
oh-my-zsh: 2016-09-24 -> 2016-10-08 2016-10-08 18:32:37 -04:00
Jörg Thalheim
6f04d9a74c Merge pull request #19365 from NeQuissimus/kotlin_1_0_4
kotlin: 1.0.3 -> 1.0.4
2016-10-09 00:21:14 +02:00
Jörg Thalheim
2132cd5913 Merge pull request #19354 from gnidorah/master
uade123: init at 2.13, openmpt123: init at 0.2.7025-beta20.1
2016-10-08 23:59:10 +02:00
Jörg Thalheim
2d9148dc8a Merge pull request #17815 from juliendehos/zimreader_tntnet221
zimreader: update for using tntnet-2.2.1 ?
2016-10-08 23:17:12 +02:00
Lancelot SIX
f910a4e638 pythonPackages.matplotlib: 1.5.1 -> 1.5.3 2016-10-08 23:14:07 +02:00
Alex Ivanov
c8a72dfc2a openmpt123: init at 0.2.7025-beta20.1 2016-10-09 00:08:18 +03:00
Tim Steinbach
b4b9b0fa9d
kotlin: 1.0.3 -> 1.0.4 2016-10-08 18:32:00 +00:00
Tim Steinbach
67a2ac6d63
firefox: 49.0 -> 49.0.1 2016-10-08 18:09:32 +00:00
Bjørn Forsman
b48dafee8d shotcut: 16.08 -> 16.10 2016-10-08 18:25:43 +02:00
Benno Fünfstück
de79db8c99 capstone: use Makefile build (for pkg-config files)
The cmake based build system did not install the pkg-config files for
capstone, which made builds depending on capstone harder to write as
they cannot automatically find the location of the capstone library.
2016-10-08 18:00:52 +02:00
Aneesh Agrawal
f0602d2d36 kernel: Make SECURITY_YAMA optional
It's highly recommended, but not required to run NixOS.
2016-10-08 17:46:33 +02:00
Julien Dehos
5ddf7e0f10 zimreader: update for using tntnet-2.2.1 2016-10-08 16:55:07 +02:00
Aneesh Agrawal
a000ed181c linux config: enable the Yama LSM (#14392)
The Yama Linux Security Module restricts the use of ptrace so that
processes cannot ptrace processes that are not their children. This
prevents attackers from compromising one user-level processes and
snooping on the memory and runtime state of other processes owned
by the same user.
2016-10-08 16:40:12 +02:00
Oliver Dunkl
e67e18a52b pythonPackages.mps-youtube 0.2.6 -> 0.2.7.1 (#18657)
pythonPackages.mps-youtube 0.2.6 -> 0.2.7.1
2016-10-08 16:07:39 +02:00
Joachim F
ccd915ca27 Merge pull request #19358 from romildo/lxqt
lximage-qt: init at 0.5.0
2016-10-08 16:03:35 +02:00
Franz Pletz
fa405aa264 bind: split out dnsutils & host binaries (#18903)
These tools are commonly used but don't require the other bind binaries.
Bind's libs are used, so they've also been split into an extra output.

The old version of host isn't maintained anymore and was removed From Debian
back in 2009: https://packages.qa.debian.org/h/host.html
2016-10-08 16:01:15 +02:00
José Romildo Malaquias
2763d4d4c7 input-fonts: init at 2016-10-06 (#19080) 2016-10-08 16:00:08 +02:00
romildo
22b86a8753 lximage-qt: init at 0.5.0 2016-10-08 10:37:10 -03:00
Graham Christensen
034ba88850 Merge pull request #19267 from vbgl/proofgeneral-4.4
ProofGeneral: 4.2 -> 4.4
2016-10-08 09:00:11 -04:00
Graham Christensen
a72dd11b3e Merge pull request #19341 from grahamc/sudolikeaboss
sudolikeaboss: init at 0.2.1
2016-10-08 08:52:02 -04:00
Nicolas Pouillard
38074ec9df electrum,electrum-dash: protobuf -> protobuf3_0 2016-10-08 14:15:35 +02:00
Nicolas Pouillard
8643f9c2a0 pythonPackages.trezor_agent: 0.6.5 -> 0.7.0 2016-10-08 14:15:35 +02:00
Nicolas Pouillard
37f9d30107 pythonPackages.keepkey: 0.7.0 -> 0.7.3 2016-10-08 14:15:35 +02:00
Nicolas Pouillard
ded452aaa4 pythonPackages.trezor: 0.6.11 -> 0.7.4 2016-10-08 14:15:35 +02:00
Nicolas Pouillard
45da3d6459 pythonPackages.hidapi: 0.7.99.post12 -> 0.7.99.post15 2016-10-08 14:15:35 +02:00
Profpatsch
bc8733aae6 geteltorito: switch to upstream dist (#19226)
Upstream has now a versioned release, so we switch over from the github
mirror.
2016-10-08 13:52:22 +02:00
Peter Hoeg
56c9c71f13 f2fs-tools: 1.6.1 -> 1.7.0 (#19352) 2016-10-08 13:44:58 +02:00
Nikolay Amiantov
f561eb158e jre8_headless: use plain jre8 on Darwin 2016-10-08 12:28:54 +03:00
Peter Simons
b59b89d9e3 Revert "Extend Haskell generic builder to use new --ipid flag."
This reverts commit ec8b816154. The change told
the Cabal build system to use the hash-part of $out as the internal identifier
for the library it's building (rather than generating such an ID itself). While
a good idea in theory, this choice had an unfortunate side-effect: When Cabal
links libraries X, Y, and Z into an executable, then the generated binary
contains their respective IDs. Now, Nix finds those strings and treats them as
an indication that there is a *run-time dependency* on the corresponding store
paths. This means that the generated executable will always depend on the store
paths of all the Haskell libraries that went into it, even when linked
statically.
2016-10-08 10:45:48 +02:00
Damien Cassou
225cc1c106
vdirsyncer: 0.11.3 -> 0.13.1
vdirsyncer > 0.13.0 does not support python 2 anymore.
https://github.com/pimutils/vdirsyncer/blob/master/CHANGELOG.rst#version-0130
2016-10-08 09:15:11 +02:00
Alexander Ried
0d47c06b4a libqmi: 1.12.6 -> 1.16.0 (#19305) 2016-10-08 07:15:38 +02:00
Alexander Ried
70a4644659 libmbim: 1.12.2 -> 1.14.0 (#19304) 2016-10-08 07:15:11 +02:00
Chris Darnell
4358c1660e xtitle: 0.2 -> 0.3 (#19351) 2016-10-08 07:11:41 +02:00
Tim Steinbach
a699eb4798 linux: 4.4.23 -> 4.4.24 (#19346) 2016-10-08 07:02:07 +02:00
Tim Steinbach
9481edec56 linux: 4.7.6 -> 4.7.7 (#19345) 2016-10-08 07:01:51 +02:00
Tim Steinbach
07e67b33af linux: 4.8.0 -> 4.8.1 (#19344) 2016-10-08 07:01:27 +02:00
Graham Christensen
969cffca97
sudolikeaboss: init at 0.2.1 2016-10-07 22:19:33 -04:00
Tim Steinbach
02d7fbb678 Merge pull request #19342 from grahamc/oh-my-zsh
oh-my-zsh: Fix oh-my-zsh's loading of ~/.oh-my-zsh
2016-10-08 00:17:12 +00:00
Nikolay Amiantov
bc0970f1e3 zsnes: use more debian patches
Fixes #19343
2016-10-08 01:40:22 +03:00
Graham Christensen
1dcfa0df6a Merge pull request #19336 from DamienCassou/umlet-14.2
umlet: 13.3 -> 14.2
2016-10-07 17:51:26 -04:00
Graham Christensen
b0a58712cb Merge pull request #19337 from nathan7/master
unifi: 5.0.6 -> 5.2.9
2016-10-07 17:39:53 -04:00
Marco Maggesi
435673b948 Revert "Revert "linux*: remove 3.14, as it's no longer maintained""
In the end, it is too dangerous to have an unmaintained kernel in
nixpkgs.  Revert the revert.

This reverts commit e921725176.
2016-10-07 23:26:32 +02:00
Graham Christensen
822d484b68 oh-my-zsh: Fix oh-my-zsh's loading of ~/.oh-my-zsh 2016-10-07 17:18:17 -04:00
Frederik Rietdijk
edebd5150e pythonPackages.pip: set priority, fixes collision #19327 2016-10-07 23:13:17 +02:00
Nathan Zadoks
f91f098650 unifi: 5.0.6 -> 5.2.9 2016-10-07 16:03:20 -04:00
Daiderd Jordan
5d69399184 Merge pull request #19285 from acowley/pcl-darwin-opengl
pcl: fix problem finding OpenGL on darwin
2016-10-07 21:41:39 +02:00
Damien Cassou
79f6563000
umlet: 13.3 -> 14.2 2016-10-07 20:59:56 +02:00
Peter Simons
2eeab5e3b2 anki: update to version 2.0.36 2016-10-07 19:10:40 +02:00
Alex Ivanov
982330d6f4 uade123: init at 2.13 2016-10-07 18:58:46 +03:00
Jörg Thalheim
b061b12adc Merge pull request #19325 from primeos/lf
lf: init at 2016-10-02
2016-10-07 17:37:48 +02:00
Damien Cassou
0e69fb2f19 Merge pull request #18985 from dudebout/emacs-with-c-src
emacs: add an option to install the C source
2016-10-07 17:23:19 +02:00
Shea Levy
eca0f17ad2 nix-buffer support improvements.
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
Jascha Geerds
7ca139c4b7 idea.pycharm-{community,professional}: 2016.2.2 -> 2016.2.3 2016-10-07 16:09:16 +02:00
Jörg Thalheim
995b64f9dd Merge pull request #19326 from cko/influxdb_1.0.2
influxdb: 1.0.0-beta3 -> 1.0.2
2016-10-07 15:42:07 +02:00
Peter Hoeg
d71d31d1e4 qtpass: 1.1.3 -> 1.1.4 2016-10-07 21:03:58 +08:00
Marco Maggesi
e921725176 Revert "linux*: remove 3.14, as it's no longer maintained"
This is the simplest way to reenable the use of BLCR
(which at present requires linux version >3.12 <3.18)
until we find a better solution.

This reverts commit 6a9e765e27.
2016-10-07 14:31:24 +02:00
Christine Koppelt
e7d4a64eaa influxdb: 1.0.0-beta3 -> 1.0.2 2016-10-07 14:15:27 +02:00
Andrey Trachenko
67e732d8f8
simavr: init at 1.3
Closes https://github.com/NixOS/nixpkgs/pull/15961
2016-10-07 14:11:22 +02:00
Michael Weiss
8d17e63465 lf: init at 2016-10-02
Add the package "lf" (as in "list files") at version 2016-10-02
(nightly) under the category "tools/misc", add it to the top-level
package collection and set myself as the maintainer.

I have tested this package under NixOS and Gentoo+Nix.
2016-10-07 14:07:46 +02:00
Graham Christensen
902511069f Merge pull request #19233 from HappyEnte/ardour-happy
ardour: 4.7 -> 5.4
2016-10-07 08:04:50 -04:00
Joachim F
030a298406 Merge pull request #19212 from romildo/new.lxqt
lxqt: init at 0.11
2016-10-07 14:00:54 +02:00
Maciek Starzyk
908ad09fd6
nimble: Do not use patchelf. 2016-10-07 07:02:26 -04:00
Graham Christensen
0f281dec98 Merge pull request #19320 from kamilchm/vagrant
vagrant: 1.8.5 -> 1.8.6
2016-10-07 06:50:57 -04:00
Joachim F
7425ce511d Merge pull request #19282 from peterhoeg/zeal
zeal: 0.2.1 -> 0.3.0
2016-10-07 12:28:00 +02:00
Nikolay Amiantov
a1791e8543 Merge pull request #19167 from abbradar/java-gui
jre8: minimize minimal build and add more GUI dependencies to the regular one
2016-10-07 14:12:33 +04:00
romildo
a5bbe8970f obconf-qt: init at 0.11.0 2016-10-07 06:57:25 -03:00
romildo
4a3c05b920 lxqt-common: Do not preserve mode when copying files to home direcotry 2016-10-07 06:56:41 -03:00
Joachim F
40fc02bb30 Merge pull request #19313 from yotann/get_iplayer-2.97
get_iplayer: 2.94 -> 2.97
2016-10-07 11:38:09 +02:00
Kamil Chmielewski
4f6870bb4b vagrant: 1.8.5 -> 1.8.6 2016-10-07 11:15:11 +02:00
Joachim F
cc78db62be Merge pull request #19317 from ericsagnes/pkg-fix/ponymix
ponymix: fix build
2016-10-07 10:39:12 +02:00
Joachim F
86afc6f145 Merge pull request #19318 from ericsagnes/pkg-init/styx
styx: init at 0.1.0
2016-10-07 10:38:15 +02:00
Eric Sagnes
3cc8f21086 styx: init at 0.1.0 2016-10-07 15:25:20 +09:00
Eric Sagnes
215ed16bad ponymix: fix build 2016-10-07 15:18:34 +09:00
Domen Kožar
b2c9402529 libcloud: 0.18.0 -> 1.2.1 2016-10-07 08:05:11 +02:00
Vincent Laporte
4e60f99b83 ProofGeneral: remove legacy version 4.3pre 2016-10-07 07:27:48 +02:00
Joachim F
cb1d475693 Merge pull request #19310 from gabesoft/camingo-code
camingo-code: init at 1.0
2016-10-07 03:32:58 +02:00