Vincent Laporte
|
10f159ffd1
|
coqPackages.mathcomp: disable for Coq ≥ 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
476cb5b0c7
|
coqPackages.simple-io: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
31648f5f8e
|
coqPackages.StructTact: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
bd84a72970
|
coqPackages.coqprime: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
e488c3e834
|
coqPackages.coq-record-update: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
7d14828292
|
coqPackages.LibHyps: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
e09c29e9e6
|
coqPackages.ITree: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
8bdc101414
|
coqPackages.math-classes: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
577c99884d
|
coqPackages.metalib: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
80fd9ab13e
|
coqPackages.parsec: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
b03dc538a3
|
coqPackages.semantics: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
082dc9aba9
|
coqPackages.iris: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
591f280978
|
coqPackages.stdpp: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
ecb1e2a99b
|
coqPackages.CoLoR: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
a8392b2ee4
|
coqPackages.tlc: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
b8e366f1a4
|
coqPackages.paco: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
|
Vincent Laporte
|
3d80ca27c0
|
coqPackages.coq-ext-lib: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Fabian Affolter
|
27c7366116
|
Merge pull request #176984 from dotlambda/azure-eventhub-5.10.0
python310Packages.azure-eventhub: 5.9.0 -> 5.10.0
|
2022-06-13 11:28:41 +02:00 |
|
Fabian Affolter
|
ccad0503ba
|
python310Packages.pysmb: add format
- disable on older Python releases
|
2022-06-13 11:25:06 +02:00 |
|
|
Fabian Affolter
|
0986c1070d
|
Merge pull request #176725 from fabaff/pyunifiprotect-bump
python310Packages.pyunifiprotect: 3.8.0 -> 3.9.2
|
2022-06-13 11:21:08 +02:00 |
|
Matthieu Coudron
|
75a0709f67
|
luaPackages.busted: install shell completion via installShellCompletion
|
2022-06-13 11:17:36 +02:00 |
|
|
Matthieu Coudron
|
dd9df750ba
|
luaPackages.readline: fix build
|
2022-06-13 11:17:36 +02:00 |
|
|
Matthieu Coudron
|
83313fee5c
|
luaPackages.lua-lsp: fixed build
|
2022-06-13 11:17:36 +02:00 |
|
|
Matthieu Coudron
|
98f9f1f054
|
luaPackages.luv: fix build
|
2022-06-13 11:17:36 +02:00 |
|
"Matthieu Coudron"
|
98a90f0891
|
luaPackages: update
|
2022-06-13 11:17:36 +02:00 |
|
|
Matthieu Coudron
|
fb6f9ee28f
|
update-luarocks-package: fix mirrors
|
2022-06-13 11:17:36 +02:00 |
|
|
Matthieu Coudron
|
77a0e5f36e
|
luarocks: 3.8.0 -> 3.9.0
pass the config to the luarocks binary
also bumps luarocks-nix: bump package due to the luarocks rebase
|
2022-06-13 11:17:24 +02:00 |
|
Martin Weinelt
|
76b76719e7
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2022-06-13 10:59:32 +02:00 |
|
Martin Weinelt
|
b3adce1542
|
Merge pull request #177483 from fabaff/pycketcasts
python310Packages.pycketcasts: init at 1.0.1
|
2022-06-13 10:49:10 +02:00 |
|
|
Fabian Affolter
|
022562fcf0
|
offensive-azure: init at 0.4.10
|
2022-06-13 10:43:38 +02:00 |
|
R. Ryantm
|
436a7e33b6
|
python310Packages.pysmb: 1.2.7 -> 1.2.8
|
2022-06-13 08:33:35 +00:00 |
|
|
Fabian Affolter
|
ee0c29026a
|
crlfsuite: init at 2.0
|
2022-06-13 10:19:47 +02:00 |
|
Manuel Bärenz
|
4ab30c657c
|
Merge pull request #177198 from jonringer/fix-mysql-connector-darwin
python3Packages.mysql-connector: allow use of clang for darwin
|
2022-06-13 10:10:22 +02:00 |
|
|
Fabian Affolter
|
56434c7266
|
home-assistant: update component-packages
|
2022-06-13 09:57:23 +02:00 |
|
|
Fabian Affolter
|
f4ab2ad06f
|
python310Packages.pycketcasts: init at 1.0.1
|
2022-06-13 09:55:44 +02:00 |
|
|
Fabian Affolter
|
f9ef97042e
|
Merge pull request #177452 from eqyiel/bump-msmtp
msmtp: 1.8.19 -> 1.8.20
|
2022-06-13 09:43:30 +02:00 |
|
|
Fabian Affolter
|
1cd4b21e07
|
smbscan: init at unstable-2022-05-26
|
2022-06-13 09:41:12 +02:00 |
|
|
Fabian Affolter
|
5c71a549d9
|
Merge pull request #177449 from dotlambda/aioimaplib-python310
python3Packages.aioimaplib: support Python 3.10
|
2022-06-13 09:39:57 +02:00 |
|
Thiago Kenji Okada
|
c01fa626c8
|
Merge pull request #177453 from r-ryantm/auto-update/clojure
clojure: 1.11.1.1124 -> 1.11.1.1129
|
2022-06-13 08:20:09 +01:00 |
|
|
Fabian Affolter
|
9ee1a83721
|
Merge pull request #177474 from r-ryantm/auto-update/python3.10-bond-async
python310Packages.bond-async: 0.1.20 -> 0.1.22
|
2022-06-13 09:09:10 +02:00 |
|
|
Fabian Affolter
|
aef95971e1
|
Merge pull request #177471 from r-ryantm/auto-update/python3.10-unicrypto
python310Packages.unicrypto: 0.0.7 -> 0.0.8
|
2022-06-13 09:08:38 +02:00 |
|
|
Fabian Affolter
|
7680a7aeca
|
Merge pull request #177460 from r-ryantm/auto-update/python3.10-ssh-mitm
python310Packages.ssh-mitm: 2.0.3 -> 2.0.4
|
2022-06-13 09:06:41 +02:00 |
|
|
Fabian Affolter
|
9b058b4b2a
|
Merge pull request #177462 from r-ryantm/auto-update/python3.10-peaqevcore
python310Packages.peaqevcore: 0.4.7 -> 1.0.11
|
2022-06-13 09:06:14 +02:00 |
|
|
Fabian Affolter
|
ff3d295d9f
|
Merge pull request #177412 from fabaff/ultraheat-api
python310Packages.ultraheat-api: init at 0.4.0
|
2022-06-13 09:05:23 +02:00 |
|
|
Fabian Affolter
|
07b47eeec2
|
Merge pull request #177419 from fabaff/ansible-later-bump
python310Packages.ansible-later: 2.0.13 -> 2.0.14
|
2022-06-13 09:05:08 +02:00 |
|
|
Fabian Affolter
|
e68082a628
|
Merge pull request #177420 from fabaff/ansible-doctor-bump
python310Packages.ansible-doctor: 1.3.0 -> 1.4.0
|
2022-06-13 09:04:55 +02:00 |
|
|
Fabian Affolter
|
625f44fa4e
|
Merge pull request #177429 from r-ryantm/auto-update/python3.10-zwave-js-server-python
python310Packages.zwave-js-server-python: 0.37.1 -> 0.37.2
|
2022-06-13 09:04:42 +02:00 |
|
|
Fabian Affolter
|
772484911c
|
python310Packages.aiohue: 4.4.1 -> 4.4.2
|
2022-06-13 08:58:41 +02:00 |
|
|
Fabian Affolter
|
d7500fd8ef
|
dnsrecon: 1.1.0 -> 1.1.1
|
2022-06-13 08:56:51 +02:00 |
|
|
Fabian Affolter
|
1f9806891d
|
dnsrecon: 1.0.0 -> 1.1.0
|
2022-06-13 08:56:22 +02:00 |
|