Package: blimps-examples
Description-md5: 18ddc9ff8aab78bc1efd53cccc24389d
Description-en: blocks database improved searcher (example data)
 BLIMPS (BLocks IMProved Searcher) is a searching tool that scores
 a protein sequence against blocks or a block against sequences.
 .
 This package contains example data.

Package: blimps-utils
Description-md5: 1afe4567b883b39e7050a4f604a91e17
Description-en: blocks database improved searcher
 BLIMPS (BLocks IMProved Searcher) is a searching tool that scores
 a protein sequence against blocks or a block against sequences.
 .
 This package contains the binaries.

Package: firmware-qcom-dragonboard845c
Description-md5: 3507088ed94312d44b4d5f5207d7374f
Description-en: Binary firmware for various Qualcomm drivers used on Dragonboard 845c
 This package contains the binary firmware for GPU, USB, Venus, DSP hardware
 coprocessors found on SDM845, which is the main SoC on the Dragonboard 845c.

Package: firmware-qcom-rb5
Description-md5: 0abf8cbedf59bff7af0b4696550319c7
Description-en: Binary firmware for various Qualcomm drivers used on Robotics RB5
 This package contains the binary firmware for the SM8250, which is the main
 SoC on the Robotics RB5.

Package: gitaly-installer
Description-md5: a0db51942a7c98ec821bffaf2b5a8789
Description-en: Git RPC service for handling all the git calls made by GitLab
 Gitaly makes the git data storage tier of large GitLab instances fast.
 This is achieved by moving git operations as close to the data as possible and
 Optimizing git services using caching.
 Gitaly is a core service of gitlab.
 This package installs Gitaly from pre-built binaries from Gitlab artifacts.

Package: gitlab-common
Description-md5: ccb3bd8dfffd14a6e75d53315368861a
Description-en: git powered software platform to collaborate on code (common)
 gitlab provides web based interface to host source code and track issues.
 It allows anyone for fork a repository and send merge requests. Code review
 is possible using merge request workflow. Using groups and roles project
 access can be controlled.
 .
 This package includes configurations common to gitlab and gitaly.

Package: haskell-ogma-core-utils
Description-md5: ccbd76e980eff18a117a117bb201a517
Description-en: Helper tool to interoperate between Copilot and other languages
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements the internal commands of ogma.

Package: libblimps3
Description-md5: a1ad50ab461eca726e0a4e957f1a2ffa
Description-en: blocks database improved searcher library
 BLIMPS (BLocks IMProved Searcher) is a searching tool that scores
 a protein sequence against blocks or a block against sequences.
 .
 This package provides the shared library.

Package: libblimps3-dev
Description-md5: 4d04b155f279229d68533b0ec59a8e4f
Description-en: blocks database improved searcher library (development)
 BLIMPS (BLocks IMProved Searcher) is a searching tool that scores
 a protein sequence against blocks or a block against sequences.
 .
 This package provides the library development headers and the static library.

Package: libghc-ogma-core-dev
Description-md5: 7405c981549be82fa1d00be9a16df975
Description-en: Helper tool to interoperate between Copilot and other languages
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements the internal commands of ogma.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-core-doc
Description-md5: 9410809b23bfe53021762ce6208df493
Description-en: Helper tool to interoperate between Copilot and other languages; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements the internal commands of ogma.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-core-prof
Description-md5: 5cb6240e472e0aed05cb4887f7312dde
Description-en: Helper tool to interoperate between Copilot and other languages; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements the internal commands of ogma.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-extra-dev
Description-md5: 4c93c3313a9ca6876f5ed668adbddb11
Description-en: Helper tool to interoperate between Copilot and other languages
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements internal extensions to existing libraries
 and modules that are used in several ogma packages and their
 testing facilities.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-extra-doc
Description-md5: 5e4964af96183a41daaf247521926c8f
Description-en: Helper tool to interoperate between Copilot and other languages; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements internal extensions to existing libraries
 and modules that are used in several ogma packages and their
 testing facilities.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-extra-prof
Description-md5: 9ff99733f37f31fe85b6f6284b8dc51d
Description-en: Helper tool to interoperate between Copilot and other languages; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This package implements internal extensions to existing libraries
 and modules that are used in several ogma packages and their
 testing facilities.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-c-dev
Description-md5: 336437c2dc8b87ea0fb488bf90f0a59b
Description-en: Ogma: Runtime Monitor translator: C Language Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read C header files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-c-doc
Description-md5: 8146a7c0ea2560d5d2ba7037518cd4ac
Description-en: Ogma: Runtime Monitor translator: C Language Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read C header files.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-c-prof
Description-md5: 175aba8d6b5f68d33603a75da72de6b7
Description-en: Ogma: Runtime Monitor translator: C Language Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read C header files.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-copilot-dev
Description-md5: a79e5cf312c4ae2348edf632e8ce1352
Description-en: Ogma: Runtime Monitor translator: Copilot Language Endpoints
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Copilot monitors, a definition of
 Copilot structs, and a backend to generate and pretty print Copilot code.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-copilot-doc
Description-md5: a40e0490971463abd59ffe4def0c79c1
Description-en: Ogma: Runtime Monitor translator: Copilot Language Endpoints; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Copilot monitors, a definition of
 Copilot structs, and a backend to generate and pretty print Copilot code.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-copilot-prof
Description-md5: 454117238f9f8092a5df4b3b0a59533f
Description-en: Ogma: Runtime Monitor translator: Copilot Language Endpoints; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Copilot monitors, a definition of
 Copilot structs, and a backend to generate and pretty print Copilot code.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-csv-dev
Description-md5: 57d544e709c2d38cf44bef784a00c48f
Description-en: Runtime Monitor translator: CSV Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from CSV files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-csv-doc
Description-md5: dad9da15832f47719a6e0b14823f6462
Description-en: Runtime Monitor translator: CSV Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from CSV files.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-csv-prof
Description-md5: eb2a3dd4928da9829e0eb00f2605d066
Description-en: Runtime Monitor translator: CSV Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from CSV files.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-jsonspec-dev
Description-md5: dd1f200fec32a63f08df7af2f83bdd52
Description-en: Ogma: Runtime Monitor translator: JSON Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from JSON files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-jsonspec-doc
Description-md5: d66179c8b6f28d6faeeb96d0c75c3c7e
Description-en: Ogma: Runtime Monitor translator: JSON Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from JSON files.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-jsonspec-prof
Description-md5: 00884927c3e4a7048abdb0b08f9023f1
Description-en: Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from JSON files.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-lustre-dev
Description-md5: d177a0f40e91df060193783b78e95dda
Description-en: Runtime Monitor translator: Lustre Language Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Lustre Boolean expressions,
 extended with several operators related to temporal logic.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-lustre-doc
Description-md5: 2aebd87927b1410858f4f1c05f904016
Description-en: Runtime Monitor translator: Lustre Language Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Lustre Boolean expressions,
 extended with several operators related to temporal logic.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-lustre-prof
Description-md5: d31fe682c5b8566fec27085cc80c109f
Description-en: Runtime Monitor translator: Lustre Language Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read Lustre Boolean expressions,
 extended with several operators related to temporal logic.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-smv-dev
Description-md5: e549458d431d330d47f39f95a5f49128
Description-en: Ogma: Runtime Monitor translator: SMV Language Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read SMV Boolean expressions, used by
 the tool FRET to capture requirement specifications.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-smv-doc
Description-md5: 30b9e048d366539f03534a920b281f59
Description-en: Ogma: Runtime Monitor translator: SMV Language Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read SMV Boolean expressions, used by
 the tool FRET to capture requirement specifications.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-smv-prof
Description-md5: fce61dd5d900b3699909db01ea2388ca
Description-en: Ogma: Runtime Monitor translator: SMV Language Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read SMV Boolean expressions, used by
 the tool FRET to capture requirement specifications.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xlsx-dev
Description-md5: 6d7980ccb68702a539b012a3c261d059
Description-en: Runtime Monitor translator: XLSX Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from Excel files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xlsx-doc
Description-md5: 90e379866e38de559a740cc865009dc8
Description-en: Runtime Monitor translator: XLSX Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from Excel files.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xlsx-prof
Description-md5: 19c8b77440abe20d46762eca82eb8df3
Description-en: Runtime Monitor translator: XLSX Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specs from Excel files.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xmlspec-dev
Description-md5: 615f575998f66d0e4e39cbc31b14b59b
Description-en: Ogma: Runtime Monitor translator: XML Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from XML files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xmlspec-doc
Description-md5: f114880f2b95338d02593548c583e8a5
Description-en: Ogma: Runtime Monitor translator: XML Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from XML files.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-language-xmlspec-prof
Description-md5: d415a54ef986bf77fe9acabcaf3b0c58
Description-en: Ogma: Runtime Monitor translator: XML Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains a frontend to read specifications from XML files.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-spec-dev
Description-md5: 5990cf161ef19dcd313f242d3e41ac93
Description-en: Ogma: Runtime Monitor translator: JSON Frontend
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains an abstract representation of an Ogma specification.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-spec-doc
Description-md5: ee0c0fca54b9182e3da066a771211479
Description-en: Ogma: Runtime Monitor translator: JSON Frontend; documentation
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains an abstract representation of an Ogma specification.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-ogma-spec-prof
Description-md5: 70f47464a29ee576a07b52f837e99469
Description-en: Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 This library contains an abstract representation of an Ogma specification.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

Package: libparmetis-dev
Description-md5: 839c770f477cb92f6af09275d807c484
Description-en: Parallel Graph Partitioning and Sparse Matrix Ordering Libs: Devel
 ParMetis computes minimal-cut partitions of graphs and meshes in parallel, and
 orders variables for minimal fill when using direct solvers for sparse
 matrices.  It does all this in parallel, and also can efficiently re-partition
 a graph or mesh whose connectivity has changed.
 .
 This package contains files needed to develop programs using ParMetis.

Package: libparmetis4.0
Description-md5: 17a6686f47a3b63f4328881bffab697b
Description-en: Parallel Graph Partitioning and Sparse Matrix Ordering Shared Libs
 ParMetis computes minimal-cut partitions of graphs and meshes in parallel, and
 orders variables for minimal fill when using direct solvers for sparse
 matrices.  It does all this in parallel, and also can efficiently re-partition
 a graph or mesh whose connectivity has changed.
 .
 This package contains the ParMetis shared libraries.

Package: libstdgpu-cuda-dev
Description-md5: e4dd50a6deda827edd854dc36f6898ac
Description-en: Efficient STL-like Data Structures on the GPU (CUDA development headers)
 stdgpu is an open-source library providing several generic GPU data structures
 for fast and reliable data management. Multiple platforms such as CUDA,
 OpenMP, and HIP are supported allowing you to rapidly write highly complex
 agnostic and native algorithms that look like sequential CPU code but are
 executed in parallel on the GPU.
 .
 This package installs the development headers for the CUDA version.

Package: libstdgpu-cuda0d
Description-md5: 86f2a09d523e7b55fff456ecf5defbc3
Description-en: Efficient STL-like Data Structures on the GPU (CUDA backend)
 stdgpu is an open-source library providing several generic GPU data structures
 for fast and reliable data management. Multiple platforms such as CUDA,
 OpenMP, and HIP are supported allowing you to rapidly write highly complex
 agnostic and native algorithms that look like sequential CPU code but are
 executed in parallel on the GPU.
 .
 This package installs the shared library that runs on CUDA.

Package: ogma
Description-md5: dbb56c114e8be77e8d1ddc914dda97ea
Description-en: Helper tool to interoperate between Copilot and other languages
 Ogma is a tool to facilitate the integration of safe runtime monitors into
 other systems. Ogma extends
 <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
 verification framework that generates hard real-time C99 code.
 .
 Some use cases supported by Ogma include:
 .
  - Translating requirements defined in structured natural
  language into monitors in Copilot.
 .
  - Generating the glue code necessary to work with C
  structs in Copilot.
 .
  - Generating
  <https://cfs.gsfc.nasa.gov/ NASA Core Flight System>
  applications that use Copilot for monitoring data
  received from the message bus.
 .
  - Generating message handlers for NASA Core Flight System
  applications to make external data in structs available
  to a Copilot monitor.
 .
  - Generating
  <https://ros.org Robot Operating System (ROS 2)>
  applications that use Copilot for monitoring data
  received from different topics.
 .
  - Generating
  <https://github.com/nasa/fprime F'>
  components that use Copilot for monitoring.
 .
  - Generating monitors from state diagrams specified using
  a graphical notation.

Package: parmetis-doc
Description-md5: 55cc39b179c0b5b2dedead6fc6a8c34f
Description-en: Parallel Graph Partitioning and Sparse Matrix Ordering Lib - Docs
 ParMetis computes minimal-cut partitions of graphs and meshes in parallel, and
 orders variables for minimal fill when using direct solvers for sparse
 matrices.  It does all this in parallel, and also can efficiently re-partition
 a graph or mesh whose connectivity has changed.
 .
 This package contains the documentation and example files.

Package: parmetis-test
Description-md5: b9b53f52a3b7e53d03b5260911e600a9
Description-en: Parallel Graph Partitioning and Sparse Matrix Ordering Tests
 ParMetis computes minimal-cut partitions of graphs and meshes in parallel, and
 orders variables for minimal fill when using direct solvers for sparse
 matrices.  It does all this in parallel, and also can efficiently re-partition
 a graph or mesh whose connectivity has changed.
 .
 This package contains programs which test the ParMetis libraries using files
 in the parmetis-doc package's examples directory.

Package: sift
Description-md5: 7788bf12148938f8dc8e4675657ce605
Description-en: predicts if a substitution in a protein has a phenotypic effect
 SIFT is a sequence homology-based tool that sorts intolerant from tolerant
 amino acid substitutions and predicts whether an amino acid substitution
 in a protein will have a phenotypic effect. SIFT is based on the premise
 that protein evolution is correlated with protein function. Positions
 important for function should be conserved in an alignment of the protein
 family, whereas unimportant positions should appear diverse in an alignment.