3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
z3-git 4.12.2.r453.g2354998cd-1 8 0.00 Z3 is a theorem prover from Microsoft Research d.woffinden 2023-11-26 14:37 (UTC)
wikititle-git r17.bb8b4da-1 0 0.00 Simple PHP script for grabbing episode titles out of List of Episodes pages on Wikipedia with the Wikipedia API d.woffinden 2015-06-08 22:10 (UTC)
fortune-mod-farscape r2221412-1 7 0.00 Fortune cookies: Farscape (TV series), scraped from https://en.wikiquote.org/wiki/Farscape d.woffinden 2017-08-06 00:03 (UTC)

3 packages found. Page 1 of 1.