Vincent Laporte
48406e3fca
coq_8_14: 8.14.0 → 8.14.1
...
And build Coq ≥ 8.14 with OCaml 4.12
2021-12-01 13:46:15 +01:00
Doron Behar
43ed12450e
Merge pull request #147828 from doronbehar/pkg/maxima
2021-12-01 11:34:38 +02:00
7c6f434c
6f5aa55336
Merge pull request #148092 from arkivm/remove-lush2
...
lush2: remove package
2021-12-01 09:14:05 +00:00
Vikram Narayanan
12cb138006
lush2: remove package
...
No releases or activity after v2.0.1 (since 2011)
2021-12-01 00:55:38 -08:00
Mario Rodas
193388b14d
Merge pull request #147655 from marsam/update-git-filter-repo
...
git-filter-repo: remove duplicated expression
2021-12-01 00:25:08 -05:00
Cole Mickens
c6fc79a2ac
Merge pull request #141148 from walkah/tailscale-1.16.0
...
tailscale: 1.14.6 -> 1.18.1
2021-11-30 19:51:17 -08:00
James Walker
42a7e36904
tailscale: 1.14.6 -> 1.18.1
2021-11-30 21:49:00 -05:00
Sandro
34549377c3
Merge pull request #145886 from luhuaei/master
2021-11-30 20:45:31 +01:00
Sandro
3df4d6608f
Merge pull request #146569 from WolfangAukang/qflipper
2021-11-30 20:09:41 +01:00
Sandro
5b42db3598
Merge pull request #144084 from trofi/update-cvise
2021-11-30 20:03:20 +01:00
Sandro
9520c4270e
Merge pull request #147721 from illdefined/bakelite
2021-11-30 19:54:27 +01:00
Aaron Andersen
1800a86072
Merge pull request #146965 from pmeiyu/webdav
...
Add webdav-server-rs
2021-11-30 12:03:27 -05:00
Sandro
f546cfa6c7
Merge pull request #148027 from WolfangAukang/lifeograph
2021-11-30 17:46:06 +01:00
Sandro
6407553e77
Merge pull request #147968 from WolfangAukang/alfaview
2021-11-30 17:39:33 +01:00
Silvan Mosberger
0ae8ea1946
Merge pull request #144019 from xaverdh/no-url-literals
...
nixpkgs-basic-release-checks: check for use of url literals
2021-11-30 17:02:29 +01:00
P. R. d. O
efd9bd3667
lifeograph: init at 2.0.2
2021-11-30 09:49:58 -06:00
Jörg Thalheim
f57e1a4dab
Merge pull request #147359 from Izorkin/update-curl-libs
...
Init http3 libraries
2021-11-30 11:19:15 +00:00
Fabian Affolter
7b031d0d99
Merge pull request #147610 from fabaff/maigret
...
maigret: init at 0.3.1
2021-11-30 10:09:41 +01:00
Vladimír Čunát
5e154b5c80
Merge #145166 : kuma-*: init at 1.4.0 (missing components)
2021-11-30 09:13:18 +01:00
Peng Mei Yu
34ec1a380a
webdav-server-rs: init at unstable-2021-08-16
2021-11-30 10:19:12 +08:00
iury fukuda
c60adb947e
kuma: init at 1.4.0
2021-11-29 23:04:17 -03:00
P. R. d. O
2253021b7e
alfaview: init at 8.32.0
2021-11-29 19:59:54 -06:00
Kevin Cox
b7caba7f59
Merge pull request #146902 from fgaz/vengi/init
...
vengi-tools: init at 0.0.14
2021-11-29 17:16:44 -05:00
Fabian Affolter
cd959d2251
maigret: init at 0.3.1
2021-11-29 22:57:17 +01:00
Fabian Affolter
1f2c164754
python3Packages.xmind: init at 1.2.0
2021-11-29 22:57:17 +01:00
Fabian Affolter
a75207e966
python3Packages.socid-extractor: init at 0.0.22
2021-11-29 22:57:13 +01:00
Sandro
3bf4f5f2b9
Merge pull request #146157 from Thornycrackers-Forks/master
2021-11-29 21:08:06 +01:00
Sandro
850faa3f51
Merge pull request #144611 from Gerschtli/add-zsh-completion
2021-11-29 21:04:09 +01:00
Sandro
047671c50c
Merge pull request #146430 from kvark/moz-phab
2021-11-29 21:03:19 +01:00
Sandro
a540809aae
Merge pull request #144454 from vs49688/jpsxdec
2021-11-29 21:00:40 +01:00
Sandro
f60f9bdb5a
Merge pull request #144165 from IvarWithoutBones/dotnetModule/pylang-server
2021-11-29 20:49:20 +01:00
Doron Behar
57ab62314b
maxima, sage: Simplify lisp-compiler arguments namings
...
Make clearer the difference between `maxima` and `maxima-ecl` top-level
attributes. Use the `lisp-compiler` as a passthru for all of sage's
expressions. Add the `pname` attribute for `ecl` for compatibility with
other lisp implementations.
2021-11-29 15:51:30 +02:00
figsoda
a0e70ea39c
Merge pull request #147746 from figsoda/update-piping-server-rust
...
piping-server-rust: 0.9.1 -> 0.10.1
2021-11-29 08:14:54 -05:00
Sandro
28517d5fa2
Merge pull request #146861 from liff/scala-jdk-updates
2021-11-29 13:32:22 +01:00
Doron Behar
f573b8fb0e
Merge pull request #147464 from doronbehar/pkg/musescore
2021-11-29 14:09:21 +02:00
Doron Behar
b7199d242e
musescore: Fix some qt issues
...
- Force use QT_QPA_PLATFORM=xcb since setting it to `wayland` causes
some GUI issues.
- Use qt515 - There are no issues with it at least now (it was set to
qt514 in commit c3cd2be2e2
2021-11-29 13:39:54 +02:00
Izorkin
89dd3384d1
ngtcp2: init at unstable-2021-11-10
2021-11-29 13:13:27 +03:00
Izorkin
955e944d95
nghttp3: init at unstable-2021-11-10
2021-11-29 13:13:26 +03:00
Izorkin
4aa1a4d8a2
quictls: init at v3.0.0+quic_unstable-2021-11-02
2021-11-29 13:13:26 +03:00
Fabian Affolter
e39e0221fe
Merge pull request #147604 from fabaff/socialscan
...
python3Packages.socialscan: init at 1.4.2
2021-11-29 09:01:17 +01:00
Fabian Affolter
d32d3dd8ea
Merge pull request #129411 from fabaff/bump-ropgadget
...
python3Packages.ropgadget: 6.5 -> 6.6
2021-11-29 08:54:00 +01:00
Vincent Laporte
5b861824b3
compcert: 3.9 → 3.10
...
Enable for Coq 8.14
Use default version of OCaml (instead of 4.05)
VST is not ready for CompCert 3.10, so it still uses 3.9
2021-11-29 08:45:34 +01:00
Florian Klink
4b6b6371c9
Merge pull request #146431 from flokli/crd2pulumi
...
crd2pulumi: init at 1.0.10
2021-11-28 23:03:30 +01:00
Guillaume Girol
9f25a8ac3a
Merge pull request #144177 from lionello/btrfs-snap
...
btrfs-snap: init at 1.7.3
2021-11-28 20:00:30 +00:00
figsoda
ef8eb89693
piping-server-rust: 0.9.1 -> 0.10.1
2021-11-28 13:32:50 -05:00
sternenseemann
31ff641504
Merge remote-tracking branch 'origin/master' into haskell-updates
2021-11-28 19:31:56 +01:00
markuskowa
c0d9398b7f
Merge pull request #144253 from sheepforce/pyscf
...
pyscf: 1.7.6.post1 -> 2.0.1
2021-11-28 18:31:02 +01:00
Michele Guerini Rocco
af63e81ad9
Merge pull request #147683 from rnhmjoj/pr-monero-cli
...
monero: rename to monero-cli
2021-11-28 16:54:21 +01:00
Mikael Voss
730fc9cae0
bakelite: init at unstable-2021-10-19
2021-11-28 15:57:29 +01:00
ajs124
ad23c0dbd4
Merge pull request #146488 from helsinki-systems/upd/php
...
php74: 7.4.25 -> 7.4.26, php80: 8.0.12 -> 8.0.13
2021-11-28 15:44:31 +01:00
