PK
$DBEt _rels/.rels ( PK $DBٺ=
Coq.nuspec ( `I%&/m{JJt`$ؐ@iG#)*eVe]f@흼{{;N'?\fdlJɞ!?~|?"ǿ|{[e^7EGiVbyG|7N"OyۮݽL"kƋbZWMuގ⮴%wvvw<\7|:~>"`)=yͲ6ӿbvtRwbwt0wvv5yu;ūw͟^U]t>m#EZql|^}|kVh]b/x:WmGY~ʹ.V-p>^Ųly)u^Y
ގ_RX? PK $DBcI tools/chocolateyInstall.ps1 ( `I%&/m{JJt`$ؐ@iG#)*eVe]f@흼{{;N'?\fdlJɞ!?~|?"ǿu]={wZql|^ߝM[?y0_{wϋ2odX6mVy-_m_q.7Ny5ʬͯ_fӷET(6w_~? PK
$DB Q package/services/metadata/core-properties/40ba9e991a8440909b0730f6bee585c6.psmdcp ( INRIAAn interactive theorem proof assistant.Coq8.4.0.001NuGet Package ExplorerPK
$DBUd, [Content_Types].xml ( PK-
$DBEt _rels/.relsPK- $DBٺ=
- Coq.nuspecPK- $DBcI tools/chocolateyInstall.ps1PK-
$DB Q package/services/metadata/core-properties/40ba9e991a8440909b0730f6bee585c6.psmdcpPK-
$DBUd, [Content_Types].xmlPK z