76338a

Package: offlineimap
Description-md5: bfe8ebc058cce6653c20fea6f85a4246
Description-sk: prechodový balík
 Toto je prechodový balík. Je bezpečné odstrániť ho.
.
66614,66631d
37875,37876c
 Tento balík poskytuje dynamické knižnice pre Coq.
.
37868,37870c
Package: libcoq-core-ocaml
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Description-sk: dynamické knižnice pre Coq
.
37866c
 Tento balík poskytuje existujúce teórie, na ktorých je možné zakladať nové
 dôkazy, vrátane teórie aritmetických a booleovských hodnôt.
.
37859,37861c
Package: libcoq-core
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Description-sk: asistent dôkazov logiky vyššieho rádu (teórie)
.
36851,36876d
12202,12214d
9457,9466d
