ttf-tagbanwa
transitional dummy package
This package is a dummy transitional package. It can be safely removed.
libdevel-overloadinfo-perl
module to introspect overloaded operators
Devel::OverloadInfo returns information about overloaded operators for a
given class (or object), including where in the inheritance hierarchy the
overloads are declared and where the code implementing it is.
python-simpy3
python-based simulation package
SimPy is a process-based discrete-event simulation language based on
standard Python.
libkf5bookmarks5-dbg
Qt library with support for bookmarks and the XBEL format.
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.