3 packages found. Page 1 of 1.

Category Name Version Votes Description Maintainer
devel z3-git r1891.ac21ffe-1 3 Z3 is a high-performance theorem prover being developed at Microsoft Research d.woffinden
games fortune-mod-farscape r1713836-1 5 Fortune cookies: Farscape (TV series), scraped from https://en.wikiquote.org/wiki/Farscape d.woffinden
multimedia wikititle-git r17.bb8b4da-1 0 Simple PHP script for grabbing episode titles out of List of Episodes pages on Wikipedia with the Wikipedia API d.woffinden

3 packages found. Page 1 of 1.