Welcome to CRUX bug tracking.

FS#1444 - More keys in portdb

Attached to Project: CRUX
Opened by Fun (fun) - Saturday, 29 July 2017, 17:35 GMT
Last edited by Tim Biermann (tb) - Saturday, 12 March 2022, 09:08 GMT
Task Type Feature Request
Category ports
Status Closed
Assigned To No-one
Operating System CRUX
Severity Low
Priority Normal
Reported Version 3.3
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No


There are more repos having keys but not published on crux/portdb (even when some are already in the keys/ directory). Maybe it will be easier for someone to add all these keys instead of one by one.

alan -
dbroke -
jue -
juef -
lxqt -
romster -
therealfun -
timcow -
z3bra -


with the john_cephalopoda's repo ( lost with the server failure.

2) Maraku wants his repo published (see #crux on 27 July). I guess he has sent the request already.

3) I see is already there, but the repo is missing. It was lost too between backups? Because I see pedja is still maintaining the repo.

This task depends upon

Closed by  Tim Biermann (tb)
Saturday, 12 March 2022, 09:08 GMT
Reason for closing:  Implemented
Additional comments about closing:  Taking teks latest reply from here, this should have been closed at this time already.
Comment by Thomas Penteker (teK) - Sunday, 19 May 2019, 21:33 GMT
Added the missing keys that are hosted at already. For the other keys, I would like to chat with the project team first. My preferred option would be to host these also at for signifying our verification; i.e. the integrity is guaranteed by a third party instead of fetching the key from the same spot the ports are hosted at.