applications
|
Merge pull request #172799 from mingmingrr/master
|
2022-05-13 17:23:27 +02:00 |
build-support
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
data
|
Merge pull request #172795 from marsam/update-public-sans
|
2022-05-13 17:30:42 +02:00 |
desktops
|
Merge pull request #172429 from bobby285271/pantheon
|
2022-05-12 22:45:47 +08:00 |
games
|
opendungeons: fix compilation
|
2022-05-12 18:06:24 -05:00 |
pkgs-lib
|
Merge pull request #104457 from ju1m/public-inbox
|
2022-05-12 20:46:39 +02:00 |
servers
|
invidious: fix build
|
2022-05-12 17:08:36 -07:00 |
tools
|
Merge pull request #172827 from fabaff/bump-metasploit
|
2022-05-13 17:21:45 +02:00 |