Ubuntu

devhelp binary package in Ubuntu Trusty arm64

Devhelp's primary goal is to be an API documentation browser for GNOME.
It is able to scan for .devhelp files generated automatically for
packages that use gtk-doc-tools to generate documentation for libraries
and programs.
.
Devhelp provides some integration capabilities, which is used to allow
command-line searches, emacs integration and embedding in applications like
the Anjuta IDE.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-12-20 03:13:24 UTC	Published	Ubuntu Trusty arm64	release	main	devel	Optional	3.8.2-2ubuntu1
Published on 2013-12-20 Copied from ubuntu trusty-proposed arm64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty arm64	proposed	main	devel	Optional	3.8.2-2ubuntu1
Removal requested on 2013-12-20. Deleted on 2013-12-20 by Ubuntu Archive Robot moved to release Published on 2013-12-20
	2013-12-20 03:14:37 UTC	Superseded	Ubuntu Trusty arm64	release	main	devel	Optional	3.8.2-2
Removed from disk on 2015-05-01. Removal requested on 2013-12-21. Superseded on 2013-12-20 by arm64 build of devhelp 3.8.2-2ubuntu1 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu saucy-release arm64 in Primary Archive for Ubuntu

Source package

devhelp package in Ubuntu