mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 03:25:02 +00:00
Code Issues Wiki Activity
343160 commits 193 branches 125 tags 5.9 GiB
Commit graph

343160 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jan van Brügge f79b811f2d
eprover: Add option to enable LFHOL reasoning 
Using eprover as automated theorem prover for sledgehammer requires this
option.
 2022-01-02 20:53:32 +01:00
Aaron Andersen 6bc440d834
Merge pull request #153243 from r-ryantm/auto-update/kodi-pvr-hts 
kodiPackages.pvr-hts: 19.0.3 -> 19.0.4
 2022-01-02 14:30:50 -05:00
R. RyanTM a10675f43d
liblcf, easyrpg-player: 0.6.2 -> 0.7.0 
* liblcf: 0.6.2 -> 0.7.0 (#144396)

* liblcf: build in parallel

* easyrpg-player: 0.6.2.3 -> 0.7.0

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 19:54:30 +01:00
R. RyanTM f98766993d
sg3_utils: 1.46r862 -> 1.47 
(#149152)
 2022-01-02 19:52:51 +01:00
R. Ryantm 56e17dc786 spiped: 1.6.1 -> 1.6.2 2022-01-02 12:50:37 -06:00
Sergei Trofimovich 369d7bb4ca z3: 4.8.12 -> 4.8.14 
While at it added trivial updater plumbing.
 2022-01-02 12:45:59 -06:00
R. RyanTM e4992cdd65
stacks: 2.59 -> 2.60 
(#149101)
 2022-01-02 19:23:58 +01:00
R. RyanTM 8ab5132f7c
ddcui: 0.1.2 -> 0.2.0 
(#149002)
 2022-01-02 19:10:23 +01:00
R. RyanTM e1454379a6
consul-template: 0.27.1 -> 0.27.2 
(#148976)
 2022-01-02 19:07:02 +01:00
R. RyanTM 1648755618
tqsl: 2.5.7 -> 2.5.9 
(#148981)
 2022-01-02 19:06:25 +01:00
Steamwalker 9ae573e510 calibre: 5.33.2 -> 5.34.0 2022-01-02 18:57:38 +01:00
R. RyanTM 7c22f3fcc0
upterm: 0.6.5 -> 0.6.7 
(#148991)
 2022-01-02 18:57:38 +01:00
Pascal Bach be3c32b4d7
Merge pull request #153183 from r-ryantm/auto-update/minio 
minio: 2021-12-10T23-03-39Z -> 2021-12-27T07-23-18Z
 2022-01-02 18:44:37 +01:00
Aaron Andersen 76ecba0adb
Merge pull request #153185 from jfly/easier-kodi-addon-patching-plus-fix-bug-in-youtube-kodi-addon 
Easier kodi addon patching + fix bug in youtube kodi addon
 2022-01-02 12:07:54 -05:00
Steamwalker e48e099afa manuskript: 0.11.0 -> 0.13.1 2022-01-02 18:05:02 +01:00
Jörg Thalheim 2e458686b2
Merge pull request #153169 from kouyk/nix-direnv-1.5.1 
nix-direnv: 1.5.0 -> 1.5.1
 2022-01-02 16:53:28 +00:00
Aaron Andersen 1b4bdf523a
Merge pull request #146795 from Madouura/dev/tetrd 
tetrd: init at 1.0.4
 2022-01-02 11:53:03 -05:00
Aaron Andersen 06db90b74a
Merge pull request #153226 from r-ryantm/auto-update/kodi-pvr-hdhomerun 
kodiPackages.pvr-hdhomerun: 19.0.1 -> 19.0.2
 2022-01-02 11:50:39 -05:00
R. Ryantm 7e2ca934b2 kodiPackages.pvr-hts: 19.0.3 -> 19.0.4 2022-01-02 16:48:19 +00:00
Thiago Kenji Okada 069f7aa1c9
Merge pull request #153196 from r-ryantm/auto-update/mame 
mame: 0.238 -> 0.239
 2022-01-02 13:47:01 -03:00
R. RyanTM 0bf7411211
libpoly: 0.1.10 -> 0.1.11 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 17:38:00 +01:00
Sebastian Jordan b704d85cce pythonPackages.nix-prefetch-github: 4.0.4 -> 5.0.1 2022-01-02 17:30:12 +01:00
schnusch 3f07ef8a9f nitter: unstable-2021-07-18 -> unstable-2021-12-31 2022-01-02 17:27:18 +01:00
R. Ryantm 0bff8db6bc kodiPackages.pvr-hdhomerun: 19.0.1 -> 19.0.2 2022-01-02 16:25:35 +00:00
R. RyanTM cb055cea99
libamqpcpp: 4.3.12 -> 4.3.15 
(#144389)
 2022-01-02 17:08:59 +01:00
Gabriel Ebner 44762f7d18
Merge pull request #152846 from r-ryantm/auto-update/ibus-anthy 
ibus-engines.anthy: 1.5.12 -> 1.5.14
 2022-01-02 17:05:09 +01:00
Dmitry Kalinkin 44dc1aedc1
Merge pull request #152297 from Stunkymonkey/treewide-github-2 
treewide: switch to fetchFromGitHub
 2022-01-02 11:04:48 -05:00
R. RyanTM 3dffc8babd
adoptopenjdk-icedtea-web: 1.8.7 -> 1.8.8 
(#143511)
 2022-01-02 16:48:11 +01:00
R. RyanTM 64960691ca
sniffglue: 0.13.1 -> 0.14.0 
(#143467)
 2022-01-02 16:46:30 +01:00
R. RyanTM 951a01d284
wmutils-core: 1.5 -> 1.6 
(#143325)
 2022-01-02 16:41:13 +01:00
R. RyanTM 5b2285802d
smtube: 21.7.0 -> 21.10.0 
(#143430)
 2022-01-02 16:40:22 +01:00
Maximilian Bosch 0691c5a537
Merge pull request #151922 from Ma27/bump-gitea 
gitea: 1.15.7 -> 1.15.9
 2022-01-02 16:39:58 +01:00
R. RyanTM e7599f1de6
reproc: 14.2.3 -> 14.2.4 
(#149221)
 2022-01-02 16:31:54 +01:00
R. RyanTM aa4273774e
libwpe: 1.10.1 -> 1.12.0 
(#149947)
 2022-01-02 16:20:10 +01:00
Anderson Torres 8225c8fdc7
Merge pull request #153209 from AndersonTorres/new-acmesh 
acme-sh: 3.0.0 -> 3.0.1
 2022-01-02 12:15:29 -03:00
Renaud 61d24cba72
Merge pull request #151921 from mausch/micromamba 
micromamba: 0.15.0 -> 0.18.1
 2022-01-02 16:00:41 +01:00
Sandro 46056f6c36
Merge pull request #122460 from ju1m/croc 2022-01-02 15:56:58 +01:00
Sandro 6834d7e9de
Merge pull request #148565 from ju1m/zpool-iostat-viz 2022-01-02 15:55:44 +01:00
Mauricio Scheffer 2bf0a9864c micromamba: 0.15.0 -> 0.18.1 2022-01-02 14:36:53 +00:00
Ben Siraphob 18c2b5d39c
Merge pull request #153053 from siraben/mold-update 
mold: 1.0.0 -> 1.0.1
 2022-01-02 21:32:47 +07:00
0x4A6F 059fcf50f3
Merge pull request #152390 from uniquepointer/zrythmca 
zrythm: enable carla support
 2022-01-02 15:13:34 +01:00
legendofmiracles 6da66eb59e
Merge pull request #153130 from legendofmiracles/colobot 
colobot: 0.1.12 -> 0.2.0; fixes build
 2022-01-02 08:12:27 -06:00
legendofmiracles 42bee8ec64
Merge pull request #153089 from legendofmiracles/wiki-tui 2022-01-02 08:04:36 -06:00
0x4A6F c0575333cd
Merge pull request #153195 from steamwalker/rtrtr 
rtrtr: init at 0.1.2
 2022-01-02 14:44:10 +01:00
Maciej Krüger 909d72ba83
Merge pull request #153160 from r-ryantm/auto-update/pix 2022-01-02 14:40:51 +01:00
Anderson Torres c71e8a5888
Merge pull request #153140 from AndersonTorres/new-libcaca 
libcaca: 0.99.beta19 -> 0.99.beta20
 2022-01-02 10:38:32 -03:00
Anderson Torres d1b49d1d02
Merge pull request #153110 from fehnomenal/elvish-correct-executable 
elvish: fix building unusable executable
 2022-01-02 10:37:28 -03:00
AndersonTorres 008aa8d8b7 acme-sh: 3.0.0 -> 3.0.1 2022-01-02 10:36:25 -03:00
Maximilian Bosch 1fc8d58bd9
element-{web,desktop}: 1.9.7 -> 1.9.8 
ChangeLog: https://github.com/vector-im/element-desktop/releases/tag/v1.9.8
ChangeLog: https://github.com/vector-im/element-web/releases/tag/v1.9.8
 2022-01-02 14:32:53 +01:00
Renaud 2be7788aaf
Merge pull request #153181 from dotlambda/jozuas-github 
maintainers: update noreferences' github
 2022-01-02 14:28:35 +01:00