definfo b1d0e56bc4 coqPackages.high-school-geometry: init at 8.16

2024-07-24 23:57:23 +08:00

..

ada-modules

…

androidndk-pkgs

…

beam-modules

…

bower-modules/generic

…

chez-modules

…

compilers

treewide: fix uses of finalAttrs.pname in urls

2024-07-23 12:48:10 -04:00

coq-modules

coqPackages.high-school-geometry: init at 8.16

2024-07-24 23:57:23 +08:00

cuda-modules

Merge pull request #326247 from yeongrokgim/master

2024-07-23 11:46:12 +03:00

dhall-modules

…

em-modules/generic

…

embedded

…

gnuradio-modules

…

guile-modules

…

hare-third-party

…

haskell-modules

…

idris-modules

…

interpreters

rune: 0.13.3 -> 0.13.4

2024-07-23 12:52:18 +00:00

java-modules

…

julia-modules

…

libraries

Merge pull request #329227 from atorres1985-contrib/maintainers-remove-yana-adolfogc

2024-07-24 10:24:15 +01:00

lisp-modules

…

lua-modules

luaPackages.lz-n: 1.4.2-1 -> 1.4.3-1

2024-07-22 19:14:47 +02:00

misc

…

mobile

treewide: remove yana from meta.maintainers [orphans]

2024-07-22 16:22:39 -03:00

node-packages

joplin: fix build

2024-07-24 08:36:44 +01:00

ocaml-modules

…

octave-modules

…

perl-modules

…

php-packages

php81Packages.phpstan: 1.11.7 -> 1.11.8

2024-07-24 07:59:08 +00:00

python2-modules

…

python-modules

Merge pull request #329442 from autra/update_momepy_from_0.7_to_0.8

2024-07-24 14:41:41 +04:00

r-modules

…

rocm-modules

treewide: remove openai-triton (alias) references

2024-07-23 12:11:29 +00:00

ruby-modules

…

scheme-modules/scheme-bytestructures

…

skaware-packages

…

tools

Merge pull request #329227 from atorres1985-contrib/maintainers-remove-yana-adolfogc

2024-07-24 10:24:15 +01:00

web

flyctl: 0.2.88 -> 0.2.94

2024-07-23 08:18:51 +00:00