libssreflect-ocaml
small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
ruby-rails-assets-jquery-placeholder
provide jquery-placeholder via asset pipeline
This library provides an easy way for rails apps to use jquery placeholder
plugin.
libdigidoc2-dbg
libdigidoc debugging symbols
xorriso-dd-target
Device evaluator and disk image copier for GNU/Linux
xorriso-dd-target is a command-line tool to evaluate block devices
of the Linux kernel whether they are suitable targets for a disk image
file and to optionally copy the image file to one of them.
It is specialized on the device names of the Linux kernel and uses the
capabilities of util-linux program lsblk. Therefore it refuses to run
on non-Linux kernels.
php-json-patch
Produce and apply json-patch objects
libqapt3-runtime
Runtime components for the QApt library
LibQApt is a Qt wrapper around the libapt-pkg library as well as an APT
implementation using libapt-pkg. The aim is to provide a sane API for
package management to ease the development of package managers written in Qt
and C++