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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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: 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: raster3d Description-md5: 7017e40afb8a84c7aca1cff9519d06ba Description-en: tools for generating images of proteins or other molecules Raster3D is a set of tools for generating high quality raster images of proteins or other molecules. The core program renders spheres, triangles, cylinders, and quadric surfaces with specular highlighting, Phong shading, and shadowing. It uses an efficient software Z-buffer algorithm which is independent of any graphics hardware. Ancillary programs process atomic coordinates from PDB files into rendering descriptions for pictures composed of ribbons, space-filling atoms, bonds, ball+stick, etc. Raster3D can also be used to render pictures composed in other programs such as Molscript in glorious 3D with highlights, shadowing, etc. Output is to pixel image files with 24 bits of color information per pixel. Package: raster3d-doc Description-md5: c1fa8477bbb4f0ad2b3ab28130533382 Description-en: documents and example files for Raster3D Raster3D is a set of tools for generating high quality raster images of proteins or other molecules. The core program renders spheres, triangles, cylinders, and quadric surfaces with specular highlighting, Phong shading, and shadowing. It uses an efficient software Z-buffer algorithm which is independent of any graphics hardware. Ancillary programs process atomic coordinates from PDB files into rendering descriptions for pictures composed of ribbons, space-filling atoms, bonds, ball+stick, etc. Raster3D can also be used to render pictures composed in other programs such as Molscript in glorious 3D with highlights, shadowing, etc. Output is to pixel image files with 24 bits of color information per pixel. . This package contains documents and example files for the raster3d package. 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.