Format: 1.8
Date: Tue, 10 Dec 2019 13:30:00 +0000
Source: peppermint-default-settings
Binary: peppermint-default-settings peppermint-default-session peppermint-live-settings
Architecture: source
Version: 10.0.1.2
Distribution: bionic
Urgency: low
Maintainer: Mark Greaves (PCNetSpec) <mark@pcnetspec.co.uk>
Changed-By: Mark Greaves (PCNetSpec) <mark@pcnetspec.co.uk>
Description:
 peppermint-default-session - Set default session to Peppermint
 peppermint-default-settings - default settings for Peppermint
 peppermint-live-settings - default settings for Peppermint live ISO
Changes:
 peppermint-default-settings (10.0.1.2) bionic; urgency=low
 .
   * Change compatibility.ini for Firefox 71.
   * Change search.json.mozlz4 for Firefox 71.
Checksums-Sha1:
 d10b5759036651b7f19748b2291769441912301b 1418 peppermint-default-settings_10.0.1.2.dsc
 618082db07293e184c57868a21adf5d6a704ab38 995200 peppermint-default-settings_10.0.1.2.tar.gz
 ece6cb6324f51d473aa66fe5852df14ad4e860c2 7268 peppermint-default-settings_10.0.1.2_source.buildinfo
Checksums-Sha256:
 668677abfc7b56c56a01fc87bbc4483f1566353a89f618bb2440933f3514229f 1418 peppermint-default-settings_10.0.1.2.dsc
 a0473ca131960f02856f7033637db4aa45fda403341452d195776b9513696e84 995200 peppermint-default-settings_10.0.1.2.tar.gz
 bd9308edded204ce7c3e6842aea5631c3e59a94f3e646951b81b5f8ac0051c3c 7268 peppermint-default-settings_10.0.1.2_source.buildinfo
Files:
 766eda14389a70cae59787dd0c408d74 1418 x11 optional peppermint-default-settings_10.0.1.2.dsc
 c7b8e8e6cf2306829975e1c7465debf0 995200 x11 optional peppermint-default-settings_10.0.1.2.tar.gz
 adb834b0c1db922dd1401e2d4d703a92 7268 x11 optional peppermint-default-settings_10.0.1.2_source.buildinfo