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++