-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 22 Aug 2020 14:29:22 +0000 Source: acl2 Architecture: source Version: 8.3dfsg-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@debian.org> Changes: acl2 (8.3dfsg-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 3b3a0cbf3ec834052ce9da5e67af94fa079369ba 2250 acl2_8.3dfsg-1.dsc 7853ff0012ff1c265599756cf943691d3a05c4fb 117260902 acl2_8.3dfsg.orig.tar.gz 26aa912c0f639edd2e0d7d7904102881946456d9 205984 acl2_8.3dfsg-1.debian.tar.xz 4277fdb2297f4391699be489ae296ee4298cfc74 8351 acl2_8.3dfsg-1_source.buildinfo Checksums-Sha256: 7d2b813405e4255865167ffa422d97760eee3926ffe9ffcabd4f7ce51727fa8b 2250 acl2_8.3dfsg-1.dsc e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee 117260902 acl2_8.3dfsg.orig.tar.gz ac7a3f7547564d050a79fe8feac7751caa943a698f55019f9374d79d89bea9eb 205984 acl2_8.3dfsg-1.debian.tar.xz b9ab72afb16111cd441ae330ae799b040bcb0181770466d805e30b3800833884 8351 acl2_8.3dfsg-1_source.buildinfo Files: 07188e1e2156173370870042ccd45077 2250 math optional acl2_8.3dfsg-1.dsc c7205f24ed678a7a20282a95e3173fb8 117260902 math optional acl2_8.3dfsg.orig.tar.gz edbc703d06451ccd787946d0c05ac9e1 205984 math optional acl2_8.3dfsg-1.debian.tar.xz ec186f8152d9c56157c0ffd956750cde 8351 math optional acl2_8.3dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl9CsAcACgkQuEXOUQ+b cU33Uw/+Mk+srwsU4To2ht3jwdBUSxSqAv4ASE8UUhbj3IadBtyznlvqveOSay7Q D3KQm/WBAoFKmK6hkXOydEFt5GPwJ3blC2KOBYEEmZL5AMtMGeUMYpWewEvZfylY 8oHzT/Vo+XaYJmAstNPDnz9NvFHOpAtbY5r8HE1DDh4P7AADoLQ3ai+QdmKAKoDK O9G3fbsqNVHLhzI2r6TSm8Gr8ID1A3xnPGzplI0wscntr6I+VPv4/emhCldrrgLI WvCfjqJZ7pPj6GTLgBRFOji/DrcLVZvHxdJKtO0F+qKmh0S0/O3bgu9zniDqGouG jUV5MlGDLitWTLH+PxHQ6RrTBRPztxjnAwz18ESIEMUf7EYC9sBpNADt5qca9pmt pnhFNG2L8riV526kUDQzDEV5JeDRQdWnblGPTTOe1jLF98wk5jgJw8GAEuDmTTRG X4w7heabFwQs0hNasOyobBGwD3c7lQbbzOMqhQ0rVcRHi/n8RDmX8xCNRLjyk6AY OSLNj2OpGcaUx/RNcGrSlDDeOkSC/Q3s+RbQtqXTm6o5N52/eD3mHP3pLuPuS6Ue aeGv+CCe/u1xgR8rgfZlN0xZLxe6Jx6i2VHRJ0zZtUzfx0/JjkSyI0/2EtgSWpJS fIw/tNucmcPZc9j9NlV48jUtFZ1U2D1d6LV5xpHqZjZyxlnJpBQ= =nz06 -----END PGP SIGNATURE-----
