JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
156,877 Commits 2 Branches 0 Tags 12 GiB
d3f328e592
Commit Graph

39894 Commits

Author SHA1 Message Date
Chris Ostrouchov
35ef822992 pythonPackages.rethinkdb: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
238f179d93 pythonPackages.pytun: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
bad2b3c229 pythonPackages.pyramid_hawkauth: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
3c1815eb44 pythonPackages.pyramid_multiauth: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
0a0a1811db pythonPackages.pyramid_exclog: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
5b2e663e77 pythonPackages.pyramid_mako: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
8ad4ee2c80 pythonPacakges.pyramid_jinja2: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
8c158456d6 pythonPackages.pyamid_chameleon: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
eea723b3ec pythonPackages.pyramid: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
e6d98dc92a pythonPackages.pypopplar: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
2dbdea23b6 pythonPackages.pycares: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
0c1af32ed6 pythonPackages.pybluez: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
04169f4c3c pythonPackages.pycallgraph: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
a4ff15029a pythonPackages.pudb: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
2d5c53ce49 pythonPackages.poyo: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
d40edcb911 pythonPackages.pex: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
4e29f17549 pythonPackages.peppercorn: refactor move to python-modules 2018-10-17 07:46:58 +02:00
Chris Ostrouchov
c7f8cabd83 pythonPackages.path-and-address: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
be4f6cf711 pythonPackages.paver: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
592e8a2ef1 pythonPackages.pathtools: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
08890bd6ea pythonPackages.pamela: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
b1549317ac pythonPackages.nx-python: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
d7da2d4e2b pythonPackages.ndg-httpsclient: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
5e3aec5963 pythonPackages.mwlib-rl: refactor move to python-modules 
Downgraded to 0.14.6 -> 0.14.5 (so we can use Pypi)
 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
fd051c3dde pythonPackages.mwlib-ext: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
4482edcc45 pythonPackages.hovercraft: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
8db4905ab2 pythonPackages.mwlib: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
ed1ee313e4 pythonPackages.python-mapnik: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
ab656c8772 pythonPackages.mailchimp: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
0088ac899c pythonPackages.lpod: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
0d22a594b2 pythonPackages.logilab_astng: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
dd44ffbcbe pythonPackages.lmdb: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
6102dd1991 pythonPackages.jupyter: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
af46dbb32e pythonPackages.lightning: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
44353b0e0d pythonPackages.lightblue: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
9163ad5f97 pythonPackages.libthumbor: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
aa03d6cfc2 pythonPackages.jsonwatch: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
d2d4cc9775 pythonPackages.jsonrpclib: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
036ccbc3ff pythonPackages.jsonpointer: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
2c986a700d pythonPackages.i3-py: refactor move to python-packages 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
05887b8eed pythonPackages.iniparse: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
202f7192e3 pythonPackages.itsdangerous: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
2fb2f7d4e4 pythonPackages.ipfsapi: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
8d57d4fbe8 pythonPackages.imread: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
80f7dc9c55 pythonPackages.imagesize: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
ce6ed524b3 pythonPackages.gtimelog: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
99ce4fa5d6 pythonPackages.gpsoauth: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
522a8a84d2 pythonPackages.gnutls: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
74472620ce pythonPackages.gnureadline: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
348b2fb38c pythonPackages.gmusicapi: refactor move to python-modules 2018-10-17 07:46:57 +02:00
Chris Ostrouchov
815fdff2ff pythonPackages.memory_profiler: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
0edde48336 pythonPackages.memcached: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
f5a4b625db pythonPackage.meld3: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
1308d1108a pythonPackages.mechanize: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
5ec1bfa7fc pythonPackages.mathics: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
6f01ed332b pythonPackages.markdown-macros: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
d70a0fc079 pythonPackages.mapsplotlib: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
1bbb17afe5 pythonPackages.manuel: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
d5fa9ee541 pythonPackages.markupsafe: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
03a19a19d9 pythonPackages.m2crypto: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
a8d1e5c4a5 pythonPackages.magic: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
93e026ce04 pythonPackages.lxc: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
3f60a4cce4 pythonPackages.linode: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
61552d7893 pythonPackages.limnoria: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
67550913a4 pythonPackages.libcloud: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
599b9045ba pythonPackages.python-Levenshtein: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
7e8a4f67fe pythonPackages.lektor: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
a6e6018694 pythonPackages.le: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
e5ca5a81a7 pythonPackages.lazy-object-proxy: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
441bf57eca pythonPackages.kerberos: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
63877c6a40 pythonPackages.jsonpath_rw: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
62d972b0b1 pythonPackages.jmespath: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
e137ac1db9 pythonPackages.jinja2_time: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
1ff519e090 pythonPackages.j2cli: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
d430e7ece1 pythonPackages.pythonIRClib: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
85731ef51c pythonPackages.ipdbplugin: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
2750333f9d pythonPackages.ipdb: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
82d27cd4f4 pythonPackages.ipaddress: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
1504902b94 pythonPackages.gcutil: refactor fix broken move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
b0e0dd399b pythonPackages.ipaddr: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
076857913f pythonPackages.gateone: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
56739bc25f pythonPackages.functools32: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
a3f18ca87f pythonPackages.funcparserlib: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
c9b960cdff pythonPackages.fudge: refactor move to python-modules 2018-10-17 07:46:56 +02:00
Chris Ostrouchov
49a61ab978 pythonPackages.flowlogs_reader: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
f8465776dd pythonPackages.factory_boy: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
09d6b372d6 pythonPackages.fake_factory: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
9ffd373ff1 pythonPackages.execnet: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
3c36c02ca5 pythonPackages.eyeD3: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
8ea312f771 pythonPackages.eventlib: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
7fde0dd2ef pythonPackages.etcd: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
63a0e8613a pythonPackages.editorconfig: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
f379425159 pythonPackages.mxnet: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
f6a29fbb69 pythonPackages.deskcon: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
acfa2e172b pythonPackages.pyhepmc: refactor move to python-modules 
added tests
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
12067dc30f pythonPackages.mixpanel: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
1c4bd5703c pythonPackages.minidb: 2.0.1 -> 2.0.2 
enable tests and move to python-modules
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
6fd8fb98d9 pythonPackages.openant: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
d0e058f669 pythonPackages.ColanderAlchemy: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
e70a3c7599 pythonPackages.closure-linter: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
24dc5c6781 pythonPackages.cntk: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
ac2ec2ecc1 pythonPackages.CDDB: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
22a6d2be21 pythonPackages.cassandra-driver: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
5ced81456b pythonPackages.bugz: 0.9.3 -> 0.13 
refactor move to python-modules
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
5b0013e422 pythonPackages.box2d: 2.3b0 -> 2.3.2 
refactor move to python-modules
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
45323efb55 pythonPackages.bsddb3: 6.1.1 -> 6.2.6 
refactor move to python-modules.
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
d572503c7a pythonPackages.cornice: 1.2.1 -> 3.4.1 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
0f4383eae5 pythonPackages.venusian: 1.0 -> 1.1.0 
Added tests and refactored moved to python-modules
 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
9bbf54ea2d pythonPackages.capstone: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
564c6f0f36 pythonPackages.bedup: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
b14225b37b pythonPackages.binwalk: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Chris Ostrouchov
9d00ad43f5 pythonPackages.caldavclientlibrary-asynk: refactor move to python-modules 2018-10-17 07:46:55 +02:00
Silvan Mosberger
9a3e418664
Merge pull request #46753 from redvers/add/openspin 
openspin: init at 2018-10-02
 2018-10-17 03:18:03 +02:00
Silvan Mosberger
3743f8af08
Merge pull request #45225 from Ekleog/webassemblyjs 
webassemblyjs tool suite: init at 1.7.8
 2018-10-17 02:55:40 +02:00
nagato.pain
5ac9af2340 pythonPackages.python-ldap-test: init at 0.3.1 2018-10-16 14:33:48 -07:00
Eelco Dolstra
b6bac6c144
Revert "Merge pull request #48122 from zimbatm/pkg-nixos-rebuild" 
This reverts commit 10addad603, reversing
changes made to 7786575c6c.

NixOS scripts should be kept in the NixOS source tree, not in
pkgs. Moving them around is just confusing and creates unnecessary
code/history churn.
 2018-10-16 20:25:44 +02:00
Urban Skudnik
c90ad779a0
brave: init at 0.25.2 2018-10-16 20:19:37 +02:00
zimbatm
10addad603
Merge pull request #48122 from zimbatm/pkg-nixos-rebuild 
nixos-rebuild: init as package
 2018-10-16 19:39:22 +02:00
Will Dietz
fc69a394fa cquery: 2018-08-08 -> 2018-10-14 (llvm6 -> llvm7) 
also simplify include expression a touch
 2018-10-16 12:30:06 -05:00
Yegor Timoshenko
e31942c71e
Merge pull request #48282 from transumption/201810/qemu-smartcard 
qemu: enable smartcard support
 2018-10-16 11:31:36 +00:00
lassulus
1758ef04e8 ttyplot: init at 1.0 2018-10-16 12:59:11 +02:00
Jörg Thalheim
ad2121dfb3
Merge pull request #48428 from jeroendehaas/fmt 
fmt: init at 5.2.1
 2018-10-16 10:33:07 +01:00
zimbatm
1875344542
nixos-*: init as package 
Move all the nixos-* scripts from the nixos distribution as real
packages in the pkgs/ package set.

This allows non-nixos users to run the script as well. For example,
deploying a remote machine with:

    nixos-rebuild --target-host root@hostname --build-host root@hostname
 2018-10-16 11:12:36 +02:00
Jeroen de Haas
2f6097b783 fmt: init at 5.2.1 
This commit adds fmt, a C++ formatting library.
 2018-10-16 08:30:54 +02:00
Léo Gaspard
711a0ea2ca wasm: add as temporary alias to proglodyte-wasm 2018-10-16 11:53:42 +09:00
Jörg Thalheim
8099538634
Merge pull request #48164 from costrouc/costrouc/python-dopy-refactor 
pythonPackages.dopy: refactor move to python-modules
 2018-10-15 23:23:47 +01:00
Joachim F
255b6429ab
Merge pull request #48452 from joachifm/pythonPackages-bumps-for-upstream 
A few python package updates
 2018-10-15 22:07:18 +00:00
Matthew Bauer
0b298d516a
Merge pull request #47182 from bhipple/add/mkl 
mkl: init at 2019.0.117
 2018-10-15 15:17:57 -05:00
Matthew Bauer
4c1b22b1f8
Merge pull request #47408 from bhipple/add/abi-tools 
abi-compliance-checker: init at 2.3
 2018-10-15 15:01:48 -05:00
Matthew Bauer
01dfe3f560 stage.nix: fix cross compiling with pkgsMusl 
Fixes #48265
 2018-10-15 12:59:07 -05:00
Léo Gaspard
ff937fd06c
webassemblyjs tool suite: init at 1.7.8 2018-10-15 23:55:55 +09:00
Joachim F
6c60014759
Merge pull request #47601 from teto/mptcp_94 
linux_mptcp: 0.94 -> 0.94.1 [RDY]
 2018-10-15 11:23:44 +00:00
Peter Simons
069bf7aee3 ghc: add new 8.4.4 version 2018-10-15 11:55:19 +02:00
Joachim Fasting
ff473c9ec7
pythonPackages.jsonrpclib: move expression to python-modules 2018-10-15 10:32:56 +02:00
Bart Brouns
0d7ed1b771 spectmorph: init at 0.4.1 2018-10-15 10:07:15 +03:00
Silvan Mosberger
67a99a8bf6
Merge pull request #47559 from t184256/add-omegat 
omegat: init at 4.1.5.2
 2018-10-15 08:20:20 +02:00
Samuel Dionne-Riel
9ab8920235
Merge pull request #48348 from f--t/fix/sil-fonts 
sil-fonts: added charis, doulos, and andika
 2018-10-14 21:01:09 -04:00
Matthew Bauer
1dae4621f7
Merge pull request #44962 from Ekleog/wasm-rename 
wasm: rename unofficial package into proglodyte-wasm
 2018-10-14 17:00:29 -05:00
Matthew Bauer
0881a55f81
Merge pull request #44386 from srdqty/srd-update-mlton-compiler 
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
 2018-10-14 16:56:54 -05:00
Alexander Sosedkin
9835631050 omegat: init at 4.1.5.2 
OmegaT is a Computer-Assisted Translation tool written in Java.
This derivation doesn't build it from source, but rather downloads
a 'Cross-platform without JRE' zip file.
I took the liberty of shorting the upstream version naming of
"4.1.5 update 2 Beta" to a more concise "4.1.5.2".
 2018-10-15 03:53:02 +07:00
Silvan Mosberger
2551412f5e
Merge pull request #48288 from mpickering/cedille 
cedille: init at v1.0.0
 2018-10-14 21:30:51 +02:00
Matthew Pickering
9e348b4613 emacsPackages.cedille: init at 1.0.0 2018-10-14 19:17:37 +00:00
Matthew Pickering
43ae33728b cedille: init at 1.0.0 2018-10-14 19:17:23 +00:00
Michael Raskin
878c6c090d
Merge pull request #39125 from mpickering/darwin-saga 
SAGA, SAGA LTS release, dependencies and QGIS SAGA plugin
 2018-10-14 19:14:48 +00:00
Mario Rodas
d03f4390ad pythonPackages.nvchecker: init at 1.1 2018-10-14 12:54:57 -05:00
Joachim F
fe1a70c3cd
Merge pull request #48071 from catern/kdbg 
kdbg: init at 3.0.0
 2018-10-14 15:09:10 +00:00
Chris Ostrouchov
4f25a13861 pythonPackages.scikit-bio: init at 0.5.4 2018-10-14 16:10:47 +02:00
Chris Ostrouchov
0f8ccbf259 pythonPackages.lockfile: init at 0.12.2 2018-10-14 16:10:47 +02:00
Chris Ostrouchov
aaa1af9bde pythonPackages.hdmedians: init at 0.13 2018-10-14 16:10:47 +02:00
Chris Ostrouchov
1a7682deb2 pythonPackages.CacheControl: init at 0.12.5 2018-10-14 16:10:47 +02:00
xeji
2e7c992afa
Merge pull request #48297 from volth/remove-top-perlXMLParser 
perlXMLParser -> perlPackages.XMLParser
 2018-10-14 15:56:14 +02:00
Chris Ostrouchov
7f613c8d49
pythonPackages.fs: 0.5.4 -> 2.1.1 refactor move to python-modules 2018-10-14 09:26:05 -04:00
Chris Ostrouchov
77c1ca887b
pythonPackages.pyftpdlib: init at 1.5.4 2018-10-14 09:26:04 -04:00
Chris Ostrouchov
3287e88cf0
pythonPackages.backports_os: init at 0.1.1 2018-10-14 09:26:04 -04:00
Chris Ostrouchov
e47a7f89da
pythonPackages.dopy: refactor move to python-modules 2018-10-14 09:07:13 -04:00
Chris Ostrouchov
e21f98dfd8 pythonPackages.jupyter-repo2docker: init at 0.6.0 2018-10-14 12:25:38 +02:00
Chris Ostrouchov
fbcb547a90 pythonPackages.python-json-logger: init at 0.1.9 2018-10-14 12:25:38 +02:00
Maximilian Bosch
413ed9d116
Merge pull request #47955 from jqueiroz/spotifywm 
spotifywm-unstable: init at 2016-11-28
 2018-10-14 11:21:47 +02:00
volth
f65dfb3caf buildPerlPackage -> perlPackages.buildPerlPackage 2018-10-14 09:10:41 +02:00
Frederik Rietdijk
49b9959be2
Merge pull request #47631 from makefu/pkgs/cozy-audiobooks/init 
cozy-audiobooks: init at 0.6.3
 2018-10-14 08:58:16 +02:00
ft
a041dd92fe sil-fonts: added andika, charis, doulos 2018-10-13 20:30:24 -07:00
Jonathan Queiroz
2b1d4611d1 spotifywm-unstable: init at 2016-11-28 2018-10-13 23:56:06 -03:00
makefu
f20899dd41
cozy: init at 0.6.3 2018-10-14 02:13:39 +02:00
makefu
ff444175b3
pythonPackages.peewee: init at 3.7.1 2018-10-14 02:13:25 +02:00
Florian Klink
a80026ec0b
Merge pull request #48327 from Assassinkin/pythonPackagesCleanup 
Python packages cleanup
 2018-10-14 00:11:29 +02:00
Jörg Thalheim
afbf0c4fe7
Merge pull request #48321 from c0bw3b/pkg/guile-cairo 
guile-cairo: 1.4.1 -> 1.10.0
 2018-10-13 22:22:06 +01:00
Philip Nelson
3518c69d74 weather-icons: init at 2.0.10 2018-10-13 14:19:21 -07:00
Moritz Kiefer
6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 2018-10-13 17:45:45 +00:00
nagato.pain
1d1748c3c0 pythonPackages.pystache: move to a seperate file 2018-10-13 10:35:18 -07:00
nagato.pain
206f9ce2e0 pythonPackages.mwclient: 0.8.3 -> 0.9.1 | move to a seperate file 2018-10-13 10:24:23 -07:00
nagato.pain
994b84d816 pythonPackages.helper: 2.4.1 -> 2.4.2 | cleanup 2018-10-13 10:12:58 -07:00
Renaud
0f5f873e93
Merge pull request #47893 from bhipple/add/luigi 
luigi: init at 2.7.9
 2018-10-13 18:23:07 +02:00
Alexey Shmalko
df2696c430
Merge pull request #48307 from delroth/prom-tor 
prometheus-tor-exporter: init at 0.3
 2018-10-13 17:59:23 +03:00
c0bw3b
b13a6b6791 guile-cairo: 1.4.1 -> 1.10.0 2018-10-13 15:38:57 +02:00
volth
a974ecf803
Merge branch 'staging' into remove-top-perlXMLParser 2018-10-13 13:22:11 +00:00
Manuel Mendez
80651cff84 pythonPackages.eradicate: init at 0.2.1 2018-10-13 12:44:59 +02:00
Matthias Beyer
b73579e5f1 taskell: init at 1.3.2 
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Suggested-by: Profpatsch <mail@profpatsch.de>
 2018-10-13 12:37:56 +02:00
Benjamin Hipple
7472c5477a luigi: init at 2.7.9 2018-10-13 06:24:07 -04:00
volth
66f5f1a75b perlArchiveCpio -> perlPackages.ArchiveCpio 2018-10-13 11:19:21 +02:00
Jörg Thalheim
5bdf248b43
Merge pull request #48258 from volth/perlpackages-cross 
perlPackages: cross-compilation fixes
 2018-10-13 09:31:40 +01:00
Dmitry Kalinkin
fcbec42fc8 pythonPackages.histbook: init at 1.2.3 2018-10-13 10:14:44 +02:00
Dmitry Kalinkin
4ed993367f arrow-cpp: 0.10.0 -> 0.11.0 (#48066) 
* arrow-cpp: 0.10.0 -> 0.11.0

* arrow-cpp: enable testing
 2018-10-13 10:12:26 +02:00
Chris Ostrouchov
045a4a4b72 pythonPackages.vidstab: init at 0.1.5 2018-10-13 10:10:39 +02:00
Chris Ostrouchov
77e8b33cb7 pythonPackages.imutils: init at 0.5.1 2018-10-13 10:10:39 +02:00
Chris Ostrouchov
489d120ef5 pythonPackages.progress: init at 1.4 2018-10-13 10:10:39 +02:00
Pierre Bourdon
86d644f8cc prometheus-tor-exporter: init at 0.3 
Upstream: https://github.com/atx/prometheus-tor_exporter
 2018-10-13 10:10:29 +02:00
Chris Ostrouchov
08d2c98e2b pythonPackages.gsd: init at 1.5.2 2018-10-13 10:09:44 +02:00
Chris Ostrouchov
343a5b4e63 pythonPackages.nest-asyncio: init at 0.9.1 2018-10-13 10:09:28 +02:00
Chris Ostrouchov
e8bcf55d34 python36Packages.pyvoro: init at 1.3.2 
python wrapper to voro++
 2018-10-13 10:09:00 +02:00
Chris Ostrouchov
a3b2890728 pythonPackages.fdint: init at 2.0.2 2018-10-13 10:08:39 +02:00
Chris Ostrouchov
9a5aaf3421 pythonPackages.azure-servicemanagement-lagacy: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
5d26b1b9c0 pythonPackages.azure-storage: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
110afaae5c pythonPackages.azure-mgmt-resource: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
071053bcb0 pythonPackages.azure-mgmt-storage: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
1675213fac pythonPackages.azure-nspkg: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
3b49976b8a pythonPackages.azure-mgmt-network: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
acb7336133 pythonPackages.azure-mgmt-compute: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
caaac35fff pythonPackages.azure-mgmt-common: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
1c397de0ff pythonPackages.azure-common: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
990da90083 pythonPackages.azure: refactor move to python-modules 2018-10-13 10:07:50 +02:00
Chris Ostrouchov
08505d87d3 pythonPackages.boto: 2.47.0 -> 2.49.0 
refactor move to python-modules
 2018-10-13 10:07:09 +02:00
Chris Ostrouchov
49719ae6e4 pythonPackages.Fabric: 1.13.2 -> 2.4.0 refactor move to python-modules 2018-10-13 10:02:33 +02:00
Chris Ostrouchov
d51311861c pythonPackages.paramiko: 2.1.1 -> 2.4.2 refactor move to python-modules 2018-10-13 10:02:33 +02:00
Chris Ostrouchov
e8c6b66e75 pythonPackages.pytest-relaxed: init at 1.1.4 2018-10-13 10:02:33 +02:00
Chris Ostrouchov
1533099b9f pythonPackages.pytest-ansible: init at 2.0.1 2018-10-13 09:53:36 +02:00
Chris Ostrouchov
648acbabca pythonPackages.pytest-annotate: init at 1.0.2 2018-10-13 09:53:36 +02:00
Chris Ostrouchov
979f91567d pythonPackages.pyannotate: init at 1.0.6 2018-10-13 09:53:36 +02:00
Chris Ostrouchov
909c46b271 pythonPackages.atsim_potentials: init at 0.2.1 2018-10-13 09:53:02 +02:00
Frederik Rietdijk
6f5142e48e Merge master into staging 2018-10-13 09:48:20 +02:00
Frederik Rietdijk
35ce480d69
Merge pull request #47964 from NixOS/staging-next 
Merge staging-next into master
 2018-10-13 09:47:49 +02:00
Silvan Mosberger
9179c1449d
Merge pull request #48193 from brendan-hall/zeit-now 
now-cli: init at 11.4.6
 2018-10-13 03:25:35 +02:00
volth
ccd4024c56 aliases.nix: add perlXMLParser 2018-10-12 23:00:19 +00:00
volth
c0fed1ba77 perlXMLParser -> perlPackages.XMLParser 2018-10-12 22:56:15 +00:00
Christopher Ostrouchov
adbdba25d0 pythonPackages.tinycss: 0.3 -> 0.4 refactor move to python-modules (#48163) 2018-10-13 00:16:47 +02:00
Brendan Hall
e3b313bb59 now-cli: init at 11.4.6 2018-10-12 22:39:23 +01:00
Yegor Timoshenko
1ae8d8b793
libcacard: init at 2.6.1 2018-10-12 20:38:55 +00:00
Renaud
7a90980194
Merge pull request #47836 from bhipple/add/cpplint 
cpplint: init at 1.3.0
 2018-10-12 21:38:24 +02:00
Benjamin Hipple
964214b107 cpplint: init at 1.3.0 
Static analyzer for C++ code. Licensed under a very permissive, generic Google license (BSD3 wording).
 2018-10-12 18:51:43 +00:00
Silvan Mosberger
e2d857a332
Merge pull request #48276 from LnL7/darwin-nix-index 
nix-index: fix darwin build
 2018-10-12 19:40:51 +02:00
Daiderd Jordan
5c14decaa3
nix-index: fix darwin build 2018-10-12 19:04:19 +02:00
Renaud
5eb7ca4e5d
pwsafe: 0.99BETA -> 1.06BETA (#48003) 
pwsafe: add c0bw3b as maintainer
 2018-10-12 19:04:09 +02:00
Timo Kaufmann
ef0c38422d
Merge pull request #48261 from fgaz/termbox/init 
termbox: init at 1.1.2
 2018-10-12 18:45:16 +02:00
Francesco Gazzetta
d6273e5161 termbox: init at 1.1.2 2018-10-12 15:51:57 +02:00
Bas van Dijk
b64193f69b
haskellPackages.multi-ghc-travis: removed in favour of haskell-ci 
multi-ghc-travis has been renamed to haskell-ci which is now also on Hackage.
 2018-10-12 14:17:24 +02:00
Bas van Dijk
0c25079958
futhark: introduce the top-level futhark attribute 
The fact that futhark is a Haskell package is an implementation detail. To
install it users should just have to specify `futhark` instead of
`haskellPackages.futhark`.

Additionally futhark is overridden with `haskell.lib.justStaticExecutables` to
reduce closure size.
 2018-10-12 14:12:29 +02:00
Sarah Brofeldt
c4afb45af5
Merge pull request #48097 from tenx-tech/feature/init-envdir-go 
envdir: init at 1.0.0
 2018-10-12 14:09:18 +02:00
Silvan Mosberger
c26d6001ed
Merge pull request #45890 from lopsided98/buildbot-python3 
buildbot: Python 3 support and other improvements
 2018-10-12 14:06:41 +02:00
edude03
7a65f2c43d
envdir: init at 1.0.0 2018-10-12 19:23:21 +08:00
volth
70858e21a1 perlPackages.NetDBus: fix cross-compilation 2018-10-12 09:43:42 +00:00
volth
16d064cc96 perlPackages.JSON: apply cross-compilation patch only when needed 2018-10-12 09:43:29 +00:00
volth
201d3ef704 perlPackages.XMLParser: fix cross-compilation 2018-10-12 09:42:32 +00:00
volth
36834a0495 perlPackages.LWP: fix cross-compilation 2018-10-12 09:39:39 +00:00
Sarah Brofeldt
32bcd72bf2
Merge pull request #48198 from teto/rfc-bibtex 
rfc-bibtex: init at 2.2.1
 2018-10-12 10:07:10 +02:00
Sarah Brofeldt
9cba2f54fa
Merge pull request #48079 from lopsided98/python-av-update 
pythonPackages.av: 0.4.1 -> 0.5.3
 2018-10-12 10:03:19 +02:00
lewo
68e1e0e5fe
Merge pull request #48133 from bhipple/add/atom 
pythonPackages.atom: init at 0.4.1
 2018-10-12 08:39:09 +02:00
Sophia Donataccio
bb7ed2cd81 mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD 
This commit adds mltonHEAD.

Summary of all the changes in this branch:

* mlton20130715
  - for this one I just copy and pasted the old default.nix
  - I have tested some projects that compile with this version and don't
    compile with the newer version, so I think it makes sense to keep
    the old version

* mlton20180207Binary
  - This is used to build the source derivations

* mlton20180207
  - latest release

* mltonHEAD
  - latest commit to the master branch of the github repo at the time of
    creating this derivation
 2018-10-12 00:47:54 -04:00
Sophia Donataccio
a130228fe8 mlton: adds mlton version 20180207 2018-10-12 00:30:48 -04:00
Sophia Donataccio
30da2b5659 mlton: adds binary release package for mlton version 20180207 
This works the same as the binary package in the old derivation, by
patching the release binary. The difference is that this derivation
is also exposed at the top level.
 2018-10-12 00:21:49 -04:00
Sophia Donataccio
4845d9324f mlton: prepare old version for refactoring 
20130715.nix is exactly the same as the old default.nix other than
pulling the meta data out into its own file.
 2018-10-12 00:06:54 -04:00
Ben Wolsieffer
73c523a605 buildbot: add Python 3 support 2018-10-11 21:39:11 -04:00
Ben Wolsieffer
67ea56717a python2Packages.pylint: init at 1.9.2 2018-10-11 18:15:15 -04:00
Ben Wolsieffer
4f09e05849 python2Packages.astroid: init at 1.6.5 2018-10-11 18:15:15 -04:00
Ben Wolsieffer
511d651e58 pythonPackages.tempita: 0.5.2 -> 0.5.3-2016-09-28 2018-10-11 18:14:36 -04:00
Ben Wolsieffer
225b8de73d pythonPackages.sphinx-jinja: 0.2.1 -> 1.1.0, Python 3 support 2018-10-11 18:13:54 -04:00
paddygord
9d293db6af yojimbo: init at 1.1 (#48214) 2018-10-11 22:13:07 +00:00
Silvan Mosberger
c166d05025
Merge pull request #48192 from costrouc/costrouc/python-filterpy 
pythonPackages.filterpy: init at 1.4.5
 2018-10-11 22:41:36 +02:00
Chris Ostrouchov
9fc4f06810
pythonPackages.filterpy: init at 1.4.5 2018-10-11 15:37:27 -04:00
Andrew Childs
47bf3f3d3f xorg: don't splice scope attributes into main package set 2018-10-11 15:03:07 -04:00
Andrew Childs
fb9604c4b7 xorg: simplify argument passing into xorg and overrides 2018-10-11 15:03:06 -04:00
Silvan Mosberger
e69079b3b1
Merge pull request #48108 from aca-labs/teleconsole 
Teleconsole
 2018-10-11 20:48:51 +02:00
John Ericson
1da78d0df1
Merge pull request #48219 from obsidiansystems/versatile-__splicedPackages 
__splicedPackages: Don't include xorg
 2018-10-11 13:54:22 -04:00
Andrew Childs
9454f71fef xorg: allow overriding via overrideScope 2018-10-11 13:41:27 -04:00
John Ericson
dc214ed99b __splicedPackages: Don't include xorg 
For historical reasons, callPackage has the xorg packages in scope. This
unstable building block is more versatile without the xorg hack baked in.
 2018-10-11 13:27:31 -04:00
Jörg Thalheim
af35bf90ed
Merge pull request #48165 from costrouc/costrouc/python-escapism-1.0.0 
pythonPackages.escapism: 0.0.1 -> 1.0.0 move to python-modules
 2018-10-11 17:11:38 +01:00
Jörg Thalheim
ee79ea0274
Merge pull request #48213 from mayflower/pkg/lazygit 
lazygit: init at 0.4
 2018-10-11 17:07:33 +01:00
Michael Raskin
a29603344a
Merge pull request #48189 from aanderse/redmine 
redmine: refactor, cleanup, bug fix, and add functionality
 2018-10-11 15:32:43 +00:00
Franz Pletz
3e356b55dd
lazygit: init at 0.4 2018-10-11 16:17:57 +02:00
Philipp Middendorf
e3d97997ff brigand: init at 1.3.0 2018-10-11 12:46:14 +00:00
Kim Burgess
6327ba8fbd teleconsole: init at 0.4.0 2018-10-11 20:24:12 +10:00
obadz
6fca3c5700 cups-googlecloudprint: init at 20160502 2018-10-11 09:19:58 +01:00
Silvan Mosberger
177ddb91be
Merge pull request #47389 from manveru/add-ejson 
ejson: init at 1.2.0
 2018-10-11 10:14:30 +02:00
Matthieu Coudron
714c0781c3 rfc-bibtex: init at 2.2.1 
Generate bibtex entries from IETF rfc/drafts, for instance:
$ rfcbibtex RFC5246 draft-ietf-tls-tls13-21

@techreport{RFC5246,
  author = {T. Dierks and E. Rescorla},
  title = {{The Transport Layer Security (TLS) Protocol Version 1.2}},
  howpublished = {Internet Requests for Comments},
  type = {RFC},
  number = {5246},
  year = {2008},
  month = {August},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  url = {http://www.rfc-editor.org/rfc/rfc5246.txt},
  note = {\url{http://www.rfc-editor.org/rfc/rfc5246.txt}},
}

@techreport{I-D.ietf-tls-tls13,
  author = {Eric Rescorla},
  title = {{The Transport Layer Security (TLS) Protocol Version 1.3}},
  howpublished = {Working Draft},
  type = {Internet-Draft},
  number = {draft-ietf-tls-tls13-21},
  year = {2017},
  month = {July},
  institution = {IETF Secretariat},
  url = {http://www.ietf.org/internet-drafts/draft-ietf-tls-tls13-21.txt},
  note = {\url{http://www.ietf.org/internet-drafts/draft-ietf-tls-tls13-21.txt}},
}
 2018-10-11 16:17:40 +09:00
Vincent Laporte
6113d95235
prooftree: cleaning 2018-10-11 05:59:21 +00:00
Aaron Andersen
1cb5b509f1 redmine: refactor, cleanup, bug fix, and add functionality 
- added package option to specify which version of redmine
- added themes option back in to allow specifying redmine themes
- added plugins option back in to allow specifying redmine plugins
- added database.socket option to allow mysql unix socket authentication
- added port option to allow specifying the port rails runs on

- cleaned up Gemfile so it is much less hacky
- switched to ruby version 2.4 by default as suggested by documentation http://www.redmine.org/projects/redmine/wiki/redmineinstall#Installing-Redmine
- fixed an annoyance (bug) in the service causing recursive symlinks
- fixed ownership bug on log files generated by redmine
- updates reflecting renames in nixos options

- added a nixos test
 2018-10-10 21:04:08 -04:00
Jörg Thalheim
726b4da189
Merge pull request #48166 from costrouc/costrouc/python-facebook-sdk 
pythonPackages.facebook-sdk: 0.3.0 -> 3.0.0 refactor move to python-modules
 2018-10-11 01:13:49 +01:00
Franz Pletz
6892cbce09
equilux-theme: init at 20180927 2018-10-11 02:08:37 +02:00
Franz Pletz
c04e6e04e2
xsecurelock: hardcode path to xset 2018-10-11 02:08:37 +02:00
Jörg Thalheim
c45a6fa041
Merge pull request #48159 from Zimmi48/remove-camlp5-transitional 
Remove camlp5 transitional
 2018-10-11 00:31:28 +01:00
xeji
61e7e256c3
Merge pull request #48038 from tg-x/liquidsoap-1.3.4 
liquidsoap: 1.1.1 -> 1.3.4
 2018-10-10 22:54:41 +02:00
Jaakko Luttinen
f065de344d
cholmod-extra: init at 1.2.0 2018-10-10 22:08:25 +03:00
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann
eaf0de5985
ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
Théo Zimmermann
7ac0a23194
prooftree: 0.12 -> 0.13 2018-10-10 19:42:50 +02:00
Chris Ostrouchov
de2a995c83
pythonPackages.facebook-sdk: 0.3.0 -> 3.0.0 refactor move to python-modules 2018-10-10 13:32:38 -04:00
Chris Ostrouchov
61c83b108d
pythonPackages.escapism: 0.0.1 -> 1.0.0 move to python-modules 2018-10-10 13:10:47 -04:00
Peter Hoeg
a75b3205d0 scummvm: add several ScummVM supported games 
- Beneath a Steel Sky: v1.2
 - Drascula: The Vampire Strikes Back: v2.0
 - Flight of the Amazon Queen: v1.1
 - Lure of the Temptress: v1.1
 2018-10-10 17:15:22 +08:00
Jaakko Luttinen
8fb27604fb
suitesparse: 4.4.4 -> 5.3.0 2018-10-10 07:36:00 +03:00
Free Potion
b10940cd23
boohu: leave one package 
There will be only one version of the package with
the fewest external dependencies.
 2018-10-10 04:45:38 +03:00
Benjamin Hipple
cd1f5914bd pythonPackages.atom: init at 0.4.1 2018-10-09 21:02:27 -04:00
Matthew Bauer
504953ed08
Merge pull request #47381 from freepotion/boohu-init 
boohu: init at 0.10.0
 2018-10-09 19:06:06 -05:00
Lassulus
0f2869a806 quickserve: init at 2018 (#48083) 2018-10-10 00:24:58 +01:00
Andreas Rammhold
a00b820ddc
Merge pull request #47949 from yrashk/webkitgtk222x 
webkitgtk222x: init at 2.22.2
 2018-10-09 22:33:49 +02:00
Jörg Thalheim
c0d1c41627
Merge pull request #48053 from Zimmi48/clean-up/ocaml 
Remove old OCaml versions.
 2018-10-09 19:47:41 +01:00
Matthew Bauer
9b0505abb7
Merge pull request #46898 from Assassinkin/osmnx 
pythonPackages.osmnx: init at 0.8.2
 2018-10-09 12:11:27 -05:00
Frederik Rietdijk
bc9bd012c4 Merge staging-next into staging 2018-10-09 15:37:52 +02:00
Frederik Rietdijk
eeaf3a131f Merge master into staging-next 2018-10-09 15:37:22 +02:00
Théo Zimmermann
c76ffb9253
matita: remove broken package 
As requested by Vincent Laporte.
 2018-10-09 09:47:31 +02:00
Renaud
81b851c6bc
Merge pull request #48048 from jb55/rapidcheck 
rapidcheck: init at unstable-2018-09-27
 2018-10-08 23:46:48 +02:00
Ben Wolsieffer
5352cb3748 pythonPackages.av: 0.4.1 -> 0.5.3 2018-10-08 17:01:12 -04:00
Spencer Baugh
01a0b1f0c3 kdbg: init at 3.0.0 2018-10-08 20:43:48 +00:00
Joachim F
cbf93ba7e2
Merge pull request #47840 from magnetophon/tambura 
tambura: init at 1.0
 2018-10-08 20:02:28 +00:00
Matthew Bauer
01d8c222eb
Merge pull request #47516 from manveru/add-dbmate 
dbmate: init at 1.4.1
 2018-10-08 14:45:00 -05:00
Matthew Bauer
3cb179a4d0
Merge pull request #45997 from cryptix/add/systrayhelper 
systrayhelper: init at 0.0.3
 2018-10-08 14:42:45 -05:00
Joachim F
e5135b933a
Merge pull request #47889 from magnetophon/FIL-plugins 
FIL-plugins: init at 0.3.0
 2018-10-08 19:39:13 +00:00
Joachim F
560473e5ce
Merge pull request #47890 from magnetophon/eteroj.lv2 
eteroj.lv2: init at 0.4.0
 2018-10-08 19:38:41 +00:00
Joachim F
213fab66c4
Merge pull request #47978 from gnidorah/midisheetmusic 
midisheetmusic: init at 2.6
 2018-10-08 19:38:24 +00:00
Joachim F
6bfc436433
Merge pull request #46743 from haslersn/any-nix-shell-1.1.0 
any-nix-shell: init at 1.1.0
 2018-10-08 19:38:07 +00:00
Théo Zimmermann
0f8ef669ac
ocamlPackages_3_12_1: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann
34394a38ef
ocamlPackages_3_11_2: remove 
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
 2018-10-08 21:10:05 +02:00
Théo Zimmermann
62cf2840bd
ocamlPackages_3_10_0: remove 2018-10-08 21:10:05 +02:00