Package: dh-dkms
Description-md5: 1208c8493840cb3bb3d35562e7dec67a
Description-en: debhelper addon for the Dynamic Kernel Module System (DKMS)
 DKMS is a framework designed to allow individual kernel modules to be upgraded
 without changing the whole kernel. It is also very easy to rebuild modules as
 you upgrade kernels.
 .
 This package provides a debhelper add-on 'dkms' that simplifies packaging of
 dkms kernel module source packages.

Package: dpf-plugins
Description-md5: 9033cff0c7dfdd88a116af6de91cdcf0
Description-en: Audio plugin collection from DISTRHO (metapackage)
 Metapackage pulling-in collection of DPF-based plugins in
 LADSPA, DSSI, LV2 and VST2 formats.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-plugins-common
Description-md5: 637bcba5b29b48e7d60a3cc033c5d834
Description-en: Audio plugin collection from DISTRHO (common files)
 Common files for collection of DPF-based plugins in
 LADSPA, DSSI, LV2 and VST2 formats.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-plugins-dssi
Description-md5: da1452b4b366812b36128ba23736407d
Description-en: Audio plugin collection from DISTRHO (DSSI plugins)
 Collection of DPF-based plugins in DSSI format.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-plugins-ladspa
Description-md5: 9e79808e0ef36a8c231d1a2e9114d617
Description-en: Audio plugin collection from DISTRHO (LADSPA plugins)
 Collection of DPF-based plugins in LADSPA format.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-plugins-lv2
Description-md5: 2d8cadaba6b81807d68e4ffd9da19f17
Description-en: Audio plugin collection from DISTRHO (LV2 plugins)
 Collection of DPF-based plugins in LV2 format.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-plugins-vst
Description-md5: ee7741ba0e751508ef3a52aa1aac9e7f
Description-en: Audio plugin collection from DISTRHO (VST2 plugins)
 Collection of DPF-based plugins in VST2 format.
 .
 The list of plugins/packs are:
  - glBars
  - Kars
  - Mini-Series (3BandEQ, 3BandSplitter, PingPongPan)
  - ndc-Plugs (Amplitude Imposer, Cycle Shifter, Soul Force)
  - MVerb
  - Nekobi
  - ProM

Package: dpf-source
Description-md5: 8dcbc4d77de205756492aae41674a432
Description-en: DISTRHO Plugin Framework (Source files)
 DPF is designed to make development of new plugins an easy
 and enjoyable task.
 It allows developers to create plugins with custom UIs
 using a simple C++ API.
 The framework facilitates exporting various different
 plugin formats from the same code-base.

Package: evolution
Description-md5: 91491c7b9cec72bd791625b7538ddba3
Description-en: groupware suite with mail client and organizer
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 Additional features include integration with Exchange
 servers, newsgroup client, LDAP support and web calendars
 .
 The following plugins belonging to the "base" set are included.
  - calendar-file
  - calendar-http
  - itip-formatter
  - default-source
  - addressbook-file
  - mark-all-read
  - publish-calendar
  - caldav
  - imap-features
  - google-account-setup
  - webdav-account-setup
  - calendar-weather
  - sa-junk-plugin
  - bogo-junk-pluginm

Package: evolution-common
Description-md5: 63a9c80d6efb5e50b74aae7ebcc8bf5c
Description-en: architecture independent files for Evolution
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package contains the architecture independent files needed
 by the evolution package.

Package: evolution-data-server-tests
Description-md5: f089152abdefc1f27359965309935277
Description-en: Installed tests for the evolution database backend server
 The data server, called "Evolution Data Server" is responsible for managing
 mail, calendar, addressbook, tasks and memo information.
 .
 This package contains test programs, designed to be run as part of a
 regression testsuite.

Package: evolution-dev
Description-md5: e8841388a6199690879d253b06445273
Description-en: development library files for Evolution
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package contains header and static library files
 for developing Evolution components.

Package: evolution-plugin-bogofilter
Description-md5: ea7228ccd6349df7257c61f0ee7152e5
Description-en: standard plugins for Evolution (bogofilter)
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package includes the bogofilter spam filter module for Evolution.

Package: evolution-plugin-pstimport
Description-md5: 235e34cceea2b696a02434f108471df1
Description-en: standard plugins for Evolution (pstimport)
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package includes a plugin for Evolution that enables importing
 Microsoft Outlook messages from a PST file.

Package: evolution-plugin-spamassassin
Description-md5: 2f0f85442a14a2c0f09e25029136c49d
Description-en: standard plugins for Evolution (spamassassin)
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package includes the spamassasin spam filter module for Evolution.

Package: evolution-plugins
Description-md5: fb67f1a5710947230f19a78f407e2ee7
Description-en: standard plugins for Evolution
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package includes plugins for evolution. The plugins belong
 to the set of "standard" plugins, which are useful, but not
 necessary for a functioning application.
 .
 The following standard plugins are included.
  - attachment-reminder
  - bbdb
  - dbx-import
  - email-custom-header
  - face
  - mailing-list-actions
  - mail-notification
  - mail-to-task
  - prefer-plain
  - save-calendar
  - sender-validator
  - templates

Package: evolution-plugins-experimental
Description-md5: d7002a313af115cfa4e69a3a6c08f948
Description-en: experimental plugins for Evolution
 Evolution is a groupware suite which integrates mail, calendar,
 address book, to-do list and memo tools.
 .
 This package includes plugins for Evolution. The plugins belong
 to the set of "experimental" plugins, which are unsupported, have
 undergone little testing, and might cause problems to the rest of
 Evolution. Use with care.
 .
 The following plugins are included.
  - external-editor
  - contacts-map

Package: gir1.2-tepl-6
Description-md5: 3c46aee684554673b71060204a468a21
Description-en: Text editor library for GTK - GObject introspection
 Tepl is a library that eases the development of GtkSourceView-based text
 editors and IDEs. Tepl is the acronym for “Text editor product line”. It
 serves as an incubator for GtkSourceView.
 .
 This package contains the GObject introspection binding.

Package: libebackend1.2-dev
Description-md5: a5d72b476981a785a5ae2459f4a20808
Description-en: Utility library for evolution data servers (development files)
 This package contains header files and static library for libebackend.
 .
 libebackend is a utility library for evolution-data-server providing
 backend function to access data.
 .
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.

Package: libebook-contacts1.2-dev
Description-md5: db02360a3dd32c2d99c43b5ea29a380d
Description-en: Client library for evolution contacts books (development files)
 This package contains header files and static library for libebook.
 .
 libebook is a client library for evolution addressbooks.
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.

Package: libebook1.2-dev
Description-md5: ef3ee2f270bec1dd37ca08ab22a90311
Description-en: Client library for evolution address books (development files)
 This package contains header files and static library for libebook.
 .
 libebook is a client library for evolution addressbooks.
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.

Package: libecal2.0-dev
Description-md5: 64e78a627bc19180d08e2006a3590372
Description-en: Client library for evolution calendars (development files)
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.
 .
 This package contains header files and static library for libecal.

Package: libedata-book1.2-dev
Description-md5: daf7a85467bbdfac33345b2709b9f36d
Description-en: Backend library for evolution address books (development files)
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.
 .
 This package contains header files and static library for libedata-book.

Package: libedata-cal2.0-dev
Description-md5: e696a09b21241ebcdcff5dd7e60f1c19
Description-en: Backend library for evolution calendars (development files)
 Evolution is the integrated mail, calendar, task and address book
 distributed suite from Novell, Inc.
 .
 This package contains header files and static library for libedata-cal.

Package: libedataserver1.2-dev
Description-md5: f544598afd99e88bcd01bf63f94d1b5b
Description-en: Utility library for evolution data servers (development files)
 The data server, called "Evolution Data Server" is responsible for managing
 calendar and addressbook information.
 .
 This package contains header files and static library for libedataserver.

Package: libedataserverui1.2-dev
Description-md5: ae4ddfcad376c4c2a572e9be547c5f7e
Description-en: Utility library for evolution data servers (development files)
 The data server, called "Evolution Data Server" is responsible for managing
 calendar and addressbook information.
 .
 This package contains development files for libedataserverui.

Package: libedataserverui4-dev
Description-md5: 8c71e2731193fae8e3d77facdf63d043
Description-en: GTK4 Utility library for evolution data server (development files)
 The data server, called "Evolution Data Server" is responsible for managing
 calendar and addressbook information.
 .
 This package contains development files for libedataserverui.

Package: libevolution
Description-md5: dddb88bf2627f20726827c1d29351350
Description-en: evolution libraries
 This package contains libraries used by Evolution.

Package: libintelrdfpmath-dev
Description-md5: e95191996ac683da04f2788bf62b8cd3
Description-en: Intel Decimal Floating-Point Math Library
 Software implementation of the IEEE 754-2008 Decimal Floating-Point
 Arithmetic specification, aimed at financial applications, especially
 in cases where legal requirements make it necessary to use decimal, and
 not binary floating-point arithmetic (as computation performed with
 binary floating-point operations may introduce small, but unacceptable
 errors).

Package: libjakarta-interceptor-api-java
Description-md5: f959ee4e0a180c78e7f7617c9dd33e2f
Description-en: Jakarta Interceptors API
 Jakarta Interceptors are used to interpose on business method invocations
 and specific events such as lifecycle events and timeout events that occur
 on instances of Jakarta EE components and other managed classes.

Package: librm-dev
Description-md5: 6a200d08f9db64d5975278cbd60c8367
Description-en: FritzBox router manager library -- development files
 librm offers FRITZ!Box related core functionality for Roger Router (GUI),
 Roger CLI (CLI) and Roger Rabbit (ncurses) interfaces.
 .
 This package provides development files.

Package: librm0
Description-md5: 53bef5d3f5aeb99442793215be66398b
Description-en: FritzBox router manager library
 librm offers FRITZ!Box related core functionality for Roger Router (GUI),
 Roger CLI (CLI) and Roger Rabbit (ncurses) interfaces.

Package: libtepl-6-2
Description-md5: 8399eaf0892ad690df4968802f920e3f
Description-en: Text editor library for GTK
 Tepl is a library that eases the development of GtkSourceView-based text
 editors and IDEs. Tepl is the acronym for “Text editor product line”. It
 serves as an incubator for GtkSourceView.

Package: libtepl-6-dev
Description-md5: 229c2c35e2eab7f0d35d11558c906984
Description-en: Text editor library for GTK - development files
 Tepl is a library that eases the development of GtkSourceView-based text
 editors and IDEs. Tepl is the acronym for “Text editor product line”. It
 serves as an incubator for GtkSourceView.
 .
 This package contains the development headers and libraries.

Package: libtepl-common
Description-md5: 2287f7ee0aff9f921ad0de66012b71ae
Description-en: Text editor library for GTK (common files)
 Tepl is a library that eases the development of GtkSourceView-based text
 editors and IDEs. Tepl is the acronym for “Text editor product line”. It
 serves as an incubator for GtkSourceView.
 .
 This package contains architecture-independent files such as translations.

Package: mariadb-client
Description-md5: c4a333065109cf38e8044e5c13108dc3
Description-en: MariaDB database client (metapackage depending on the latest version)
 This is an empty package that depends on the current "best" version of
 mariadb-client (currently mariadb-client-10.6), as determined by the MariaDB
 maintainers.  Install this package if in doubt about which MariaDB version
 you want, as this is the one considered to be in the best shape.

Package: mariadb-client-10.6
Description-md5: 82697f9416e5e5d0a4e7331c2c735591
Description-en: MariaDB database client binaries
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package includes the client binaries and the additional tools
 innotop and mariadb-report (mysqlreport).

Package: mariadb-client-core-10.6
Description-md5: 2862a38a5ead2e1df7366bf661e03278
Description-en: MariaDB database core client binaries
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package includes the core client files, as used by Akonadi.

Package: mariadb-common
Description-md5: b0c32a0541f8699ec53307dabf7f987b
Description-en: MariaDB common configuration files
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package includes configuration files common to all MariaDB programs.

Package: mariadb-server
Description-md5: 810926b6e0e35edd4901d8603857b214
Description-en: MariaDB database server (metapackage depending on the latest version)
 This is an empty package that depends on the current "best" version of
 mariadb-server (currently mariadb-server-10.6), as determined by the MariaDB
 maintainers. Install this package if in doubt about which MariaDB
 version you need. That will install the version recommended by the
 package maintainers.
 .
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.

Package: mariadb-server-10.6
Description-md5: ae76dbcde4bf3e79b8228e6dad967834
Description-en: MariaDB database server binaries
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package includes the server binaries.

Package: mariadb-server-core-10.6
Description-md5: a01f76260dfbedfdfbfcd8ff440b8a4c
Description-en: MariaDB database core server files
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package includes the core server files, as used by Akonadi.

Package: mariadb-test-data
Description-md5: 4e2584329df41bfe2241de957d88c44a
Description-en: MariaDB database regression test suite - data files
 MariaDB is a fast, stable and true multi-user, multi-threaded SQL database
 server. SQL (Structured Query Language) is the most popular database query
 language in the world. The main goals of MariaDB are speed, robustness and
 ease of use.
 .
 This package has the architecture independent data files for the test suite.

Package: msmtp
Description-md5: cb672817175b0fe547d71313e35a93e0
Description-en: light SMTP client with support for server profiles
 msmtp is an SMTP client that can be used to send mails from Mutt and probably
 other MUAs (mail user agents). It forwards mails to an SMTP server (for
 example at a free mail provider), which takes care of the final delivery.
 Using profiles, it can be easily configured to use different SMTP servers
 with different configurations, which makes it ideal for mobile clients.

Package: msmtp-mta
Description-md5: 92a76bed20d7385fc7d78445076c37fc
Description-en: light SMTP client with support for server profiles - the regular MTA
 msmtp is an SMTP client that can be used to send mails from Mutt and probably
 other MUAs (mail user agents). It forwards mails to an SMTP server (for
 example at a free mail provider), which takes care of the final delivery.
 Using profiles, it can be easily configured to use different SMTP servers
 with different configurations, which makes it ideal for mobile clients.
 .
 This package is compiled with SASL and TLS/SSL support.
 .
 This package provides the regular MTA program.

Package: python3-ubuntutools
Description-md5: 7e13f84ccece24b357aee792b7904beb
Description-en: useful APIs for Ubuntu developer tools — Python 3 library
 This package ships a collection of APIs, helpers and wrappers used to
 develop useful utilities for Ubuntu developers.
 .
 This package installs the library for Python 3.

Package: roger-router
Description-md5: 9bb0ac2636b14376c6bd383ecc97b549
Description-en: Home router management tool - GUI
 Journal, Fax-Software and Call-Monitor for AVM FRITZ!Box or compatible
 routers. The following features are supported through plugins:
 .
  * Call monitor, journal and address book
  * Use system as softphone or dial support
  * Fax transfer with CUPS integration.
  * import address books from the Fritz!Box, Evolution and Thunderbird
  * status icon and notification popus
 .
 A predecessor to the program was formerly called FRITZ!Box Fun (ffgtk).
 This is the GUI version of the program including plugins.

Package: ubuntu-dev-tools
Description-md5: 0e2f0ec6c44167727c60b2fad97f61de
Description-en: useful tools for Ubuntu developers
 This is a collection of useful tools that Ubuntu developers use to make their
 packaging work a lot easier.
 .
 Such tools include:
 .
  - backportpackage - helper to test package backports
  - bitesize - add the 'bitesize' tag to a bug and comment that you are
    willing to help fix it.
  - check-mir - check support status of build/binary dependencies
  - check-symbols - will compare and give you a diff of the exported symbols of
    all .so files in a binary package.
  - dch-repeat - used to repeat a change log into an older release.
  - grab-merge - grabs a merge from merges.ubuntu.com easily.
  - grep-merges - search for pending merges from Debian.
  - import-bug-from-debian - copy a bug from the Debian BTS to Launchpad
  - merge-changelog - manually merges two Debian changelogs with the same base
    version.
  - mk-sbuild - script to create LVM snapshot chroots via schroot and
    sbuild.
  - pbuilder-dist, cowbuilder-dist - wrapper script for managing several build
    chroots (for different Ubuntu and Debian releases) on the same system.
  - pull-debian-debdiff - attempts to find and download a specific version of
    a Debian package and its immediate parent to generate a debdiff.
  - pull-debian-source - downloads the latest source package available in
    Debian of a package.
  - pull-lp-source - downloads source package from Launchpad.
  - pull-lp-debs - downloads debs package(s) from Launchpad.
  - pull-lp-ddebs - downloads dbgsym/ddebs package(s) from Launchpad.
  - pull-lp-udebs - downloads udebs package(s) from Launchpad.
  - pull-debian-* - same as pull-lp-* but for Debian packages.
  - pull-uca-* - same as pull-lp-* but for Ubuntu Cloud Archive packages.
  - pull-pkg - common script that provides above pull-* functionality.
  - requestbackport - file a backporting request.
  - requestsync - files a sync request with Debian changelog and rationale.
  - reverse-depends - find the reverse dependencies (or build dependencies) of
    a package.
  - seeded-in-ubuntu - query if a package is safe to upload during a freeze.
  - setup-packaging-environment - assistant to get an Ubuntu installation
    ready for packaging work.
  - sponsor-patch - Downloads a patch from a Launchpad bug, patches the source
    package, and uploads it (to Ubuntu or a PPA)
  - submittodebian - automatically send your changes to Debian as a bug report.
  - syncpackage - helper to prepare .changes file to upload synced packages
  - ubuntu-build - give commands to the Launchpad build daemons from the
    command line.
  - ubuntu-iso - output information of an Ubuntu ISO image.
  - ubuntu-upload-permission - query / list the upload permissions for a
    package.
  - update-maintainer - script to update maintainer field in ubuntu packages.

Package: woof-doom
Description-md5: bc8da02b78df790cdf19f30cd38e28f6
Description-en: Doom source port MBF targeted at modern systems
 Woof! is a continuation of Lee Killough's Doom source port MBF
 targeted at modern systems.
 .
 MBF stands for "Marine's Best Friend" and is widely regarded as the
 successor of the Boom source port by TeamTNT. It serves as the code
 base for popular Doom source ports such as PrBoom+/DSDA-Doom or The
 Eternity Engine. As the original engine was limited to run only under
 MS-DOS, it has been ported to Windows by Team Eternity under the name
 WinMBF in 2004. Woof! is developed based on the WinMBF code with the
 aim to make MBF more widely available and convenient to use on modern
 systems.
 .
 To achieve this goal, this source port is less strict regarding its
 faithfulness to the original MBF. It is focused on quality-of-life
 enhancements, bug fixes and compatibility improvements. However, all
 changes have been introduced in good faith that they are in line with
 the original author's intentions and even for the trained eye, this
 source port should still look very familiar to the original MBF.
 .
 In summary, this project's goal is to forward-port MBF.EXE from DOS to
 21st century and remove all the stumbling blocks on the way.
 Furthermore, just as MBF was ahead of its time, this project dedicates
 itself to early adoption of new modding features such as
 DEHEXTRA+DSDHacked, UMAPINFO and MBF21.

Package: cryfs
Description-md5: 6a193616bfd007a57999d6d65d2c809f
Description-en: encrypt your files and store them in the cloud
 CryFS encrypts your files, so you can safely store them anywhere. It works
 well together with cloud services like Dropbox, iCloud, OneDrive and others.

Package: librust-tokio-executor-dev
Description-md5: 1d0777a6d4941c1d599a024b61bd87bb
Description-en: Future execution primitives - Rust source code
 This package contains the source for the Rust tokio-executor crate, packaged by
 debcargo for use with cargo and dh-cargo.

Package: librust-xkbcommon-dev
Description-md5: 4fe9744260eb08d1187b7a5835e6b391
Description-en: Rust bindings and wrappers for libxkbcommon - Rust source code
 This package contains the source for the Rust xkbcommon crate, packaged by
 debcargo for use with cargo and dh-cargo.

Package: netlabel-tools
Description-md5: c34a9c6dc669e03e4de3a6aeac234e2b
Description-en: management tool for the Linux NetLabel Subsystem
 The NetLabel management utility, netlabelctl, is a command line program
 designed to allow system administrators to configure the NetLabel system in
 the kernel.
 .
 This package requires that the running kernel supports NETLABEL.

Package: pinball-table-gnu
Description-md5: c3ed62ecf9f895359d59b9c06d5bb0c9
Description-en: GNU Pinball table for emilia pinball
 Another pinball table to have fun, behaviour plugin.
 The table is dedicated to GNU project.
 It features multiballs, magnets and bumpers.

Package: libgatk-bwamem-jni
Description-md5: 45fd8401627d32a5ea212067195b67e4
Description-en: interface to call Heng Li's bwa mem aligner from Java code (jni)
 BWA (Burrows-Wheeler Aligner) is a software package for mapping low-divergent
 sequences against a large reference genome, such as the human genome. It is
 written in C.
 .
 gatk-bwamem provides a Java library and a shared library to allow one to use
 BWA from Java code.
 .
 This package contains the native library.

Package: librust-tokio-reactor-dev
Description-md5: 07eabb320ba20cc7e0ec5ba4953b5dff
Description-en: Event loop that drives Tokio I/O resources - Rust source code
 This package contains the source for the Rust tokio-reactor crate, packaged by
 debcargo for use with cargo and dh-cargo.

Package: clasp
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Description-en: conflict-driven nogood learning answer set solver
 clasp is an answer set solver for (extended) normal logic
 programs. It combines the high-level modeling capacities of answer
 set programming (ASP) with state-of-the-art techniques from the area
 of Boolean constraint solving. The primary clasp algorithm relies on
 conflict-driven nogood learning, a technique that proved very
 successful for satisfiability checking (SAT). Unlike other learning
 ASP solvers, clasp does not rely on legacy software, such as a SAT
 solver or any other existing ASP solver. Rather, clasp has been
 genuinely developed for answer set solving based on conflict-driven
 nogood learning. clasp can be applied as an ASP solver (on LPARSE
 output format), as a SAT solver (on simplified DIMACS/CNF format), or
 as a PB solver (on OPB format).