aboutsummaryrefslogtreecommitdiff
path: root/tests/signing-key.pub
blob: 092424a15d227d71689f42c82f0ffc8ac487abb6 (plain) 
1
2
3
4

(public-key
 (rsa
  (n #00C1F764069F54FFE93A126B02328903E984E4AE3AF6DF402B5B6B3907911B88C385F1BA76A002EC9DEA109A5228EF0E62EE31A06D1A5861CAB474F6C857AC66EB65A1905F25BBA1869579E73A3B7FED13AF5A1667326F88CDFC2FF24B03C14FD1384AA7E73CA89572880B606E3A974E15347963FC7B6378574936A47580DBCB45#)
  (e #010001#)))
generated by cgit
n Poiret 2023-11-14gnu: agda-stdlib: Update to 1.7.3.Josselin Poiret 2023-11-14gnu: agda: Update to 2.6.4.Josselin Poiret 2023-10-11gnu: agda-cubical: Add source file-name.Efraim Flashner 2023-07-22gnu: agda-cubical: Update to 0.5.Josselin Poiret 2023-06-04gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7.Josselin Poiret 2023-06-04gnu: Add agda-1lab.Josselin Poiret 2023-06-04gnu: Add agda-cubical.Josselin Poiret 2023-06-04gnu: Add agda-categories.Josselin Poiret 2023-06-04gnu: Add agda-stdlib.Josselin Poiret 2023-06-04gnu: agda: Add AGDA_LIBDIRS search-path.Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: Switch to G-Exps.Josselin Poiret 2023-06-04gnu: emacs-agda2-mode: No longer inherit from agda.Josselin Poiret 2023-06-04gnu: agda: Build info manual.Josselin Poiret 2023-06-04gnu: agda: Update to 2.6.3 and switch to git-fetch.Josselin Poiret 2023-02-26gnu: Use HACKAGE-URI for packages from Hackage.Lars-Dominik Braun 2023-02-26gnu: Add upstream-name property to Haskell packages.Lars-Dominik Braun 2023-02-16gnu: Remove unneeded module imports.Efraim Flashner