aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
blob: 2df16e7cd244662aea208f8324610a4eed1dcd93 (about) (plain)
blob size (229KB) exceeds display size limit (100KB).
generated by cgit
n title='2024-04-20 13:05:23 -0400'>2024-04-20Authorize the PGP key of Zheng Junjie (z572)....Welcome aboard! Voucher: Ludovic Courtès <ludo@gnu.org> Voucher: Christopher Baines <mail@cbaines.net> Voucher: 宋文武 <iyzsong@member.fsf.org> Change-Id: Id24cca4940f31468fda7c5d33cc3bef6854a66cd Maxim Cournoyer 2024-04-09.guix-authorizations: Remove Björn Höfling due to inactivity....* .guix-authorizations: Remove hoebjo. Change-Id: I270cef605de30e1924749ad143f166cca0b54e8d Leo Famulari 2024-04-09.guix-authorizations: Remove Raghav Gururajan due to inactivity....* .guix-authorizations: Remove raghavgururajan. Change-Id: Iec45c971c4ec4cd1721d9b6299dc44bc7bb1a94e Leo Famulari 2024-01-09Authorize Oleg (Sharlatan)'s key....* .guix-authorizations (sharlatan): Register PGP key fingerprint. Change-Id: I0d20e50a37971237721964852a404c5cf136f0be Maxim Cournoyer 2023-07-23.guix-authorizations: Update lfam's key....* .guix-authorizations: Update lfam's signing key fingerprint. Change-Id: Ic34f364dfc46e403e1d431e5860a63b36143b6f3 Leo Famulari 2023-08-13.guix-authorizations: Authorise Hilton Chain....* .guix-authorizations (hako): Add OpenPGP key fingerprint. Tobias Geerinckx-Rice 2023-06-14.guix-authorizations: Remove Lars-Dominik Braun’s professional key....* .guix-authorizations: Remove from lbraun (professional). Lars-Dominik Braun 2023-05-15.guix-authorizations: Authorize Jorge Gomez....* .guix-authorizations (jgart): Add OpenPGP key fingerprint. Maxim Cournoyer 2023-05-11.guix-authorizations: Authorize Josselin Poiret....* .guix-authorizations (jpoiret): Add OpenPGP key fingerprint. Maxim Cournoyer 2023-05-11.guix-authorizations: Authorize Simon Tournier....* .guix-authorizations (zimoun): Add OpenPGP key fingerprint. Maxim Cournoyer 2023-03-24.guix-authorizations: Remove Paul Garlick due to inactivity....* .guix-authorizations: Remove from pgarlick. Leo Famulari 2023-03-24.guix-authorizations: Remove Jakub Kądziołka due to inactivity....* .guix-authorizations: Remove niedzejkob. Leo Famulari 2023-03-24.guix-authorizations: Remove Chris Marusich due to inactivity....* .guix-authorizations: Remove marusich. Leo Famulari 2023-03-24.guix-authorizations: Remove Brice Waegeneire due to inactivity....* .guix-authorizations: Remove bricewge. Leo Famulari 2023-03-24.guix-authorizations: Remove Alex Kost due to inactivity....* .guix-authorizations: Remove alezost. Leo Famulari 2022-12-11.guix-authorizations: Authorise John Kehayias....* .guix-authorizations (podiki): Add OpenPGP key fingerprint. Tobias Geerinckx-Rice