97948,97959d
59027c
Package: libqgisgrass8-3.44.13
.
59019c
Package: libqgis-gui3.44.13
.
59011c
Package: libqgis-core3.44.13
.
37844,37845c
 Tento balík poskytuje dynamické knižnice pre Coq.
.
37837,37839c
Package: libcoq-core-ocaml
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Description-sk: dynamické knižnice pre Coq
.
37835c
 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.
.
37828,37830c
Package: libcoq-core
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Description-sk: asistent dôkazov logiky vyššieho rádu (teórie)
.
14186a
Package: enlightenment
Description-md5: 926a07692618e3a130115633d1d6025d
Description-sk: správca okien X11 založený na EFL
 Enlightenment je pokročilý správca okien pre X11. Medzi jeho jedinečné
 vlastnosti patria: plne animované pozadie, pekné vrhané tiene okolo
 okien.
 Je založený na extrémne čistých a optimalizovaných API.
 .
 Tento balík obsahuje základné súbory Enlightenment.

Package: enlightenment-data
Description-md5: 02f94c9cb548fcf19688c4805c933045
Description-sk: správca okien X11 založený na EFL - dynamické dátové súbory
 Enlightenment je pokročilý správca okien pre X11. Medzi jeho jedinečné
 vlastnosti patria: plne animované pozadie, pekné vrhané tiene okolo
 okien.
 Je založený na extrémne čistých a optimalizovaných API.
 .
 Tento balík obsahuje dynamické dátové súbory nezávislé od architektúry
 pre správcu okien Enlightenment.

Package: enlightenment-dev
Description-md5: 0c72d8e306ac8da7916403448e533285
Description-sk: Enlightenment - hlavičkové súbory, statické knižnice a dokumentácia
 Enlightenment je pokročilý správca okien pre X11. Medzi jeho jedinečné
 vlastnosti patria: plne animované pozadie, pekné vrhané tiene okolo okien.
 Je založené na extrémne čistých a optimalizovaných API.
 .
 Tento balík obsahuje hlavičkové súbory, statické knižnice a dokumentáciu pre
 Enlightenment.

.
12202,12214d
9457,9466d
