diff --git a/dev_scripts/apt-tools-prod.pref b/dev_scripts/apt-tools-prod.pref new file mode 100644 index 0000000..925b51b --- /dev/null +++ b/dev_scripts/apt-tools-prod.pref @@ -0,0 +1,7 @@ +Package: * +Pin: origin "packages.freedom.press/apt-tools-prod" +Pin-Priority: 100 + +Package: conmon +Pin: origin "packages.freedom.press/apt-tools-prod" +Pin-Priority: 500 diff --git a/dev_scripts/apt-tools-prod.sources b/dev_scripts/apt-tools-prod.sources new file mode 100644 index 0000000..6671f95 --- /dev/null +++ b/dev_scripts/apt-tools-prod.sources @@ -0,0 +1,71 @@ +Types: deb +URIs: https://packages.freedom.press/apt-tools-prod +Suites: jammy +Components: main +Signed-By: + -----BEGIN PGP PUBLIC KEY BLOCK----- + Comment: DE28 AB24 1FA4 8260 FAC9 B8BA A7C9 B385 2260 4281 + Comment: Dangerzone Release Key