Ubuntu
coq package

coq 8.0pl3-2ubuntu1 source package in Ubuntu

Changelog

coq (8.0pl3-2ubuntu1) feisty; urgency=low

  * Fix desktop file according with freedesktop spec (LP: #49546)
  * debian/control:
    - Updated maintainer field;

 -- Jonh Wendell <email address hidden>   Thu, 22 Mar 2007 09:25:21 -0300

Upload details

Uploaded by:
Jonh Wendell
Uploaded to:
Feisty
Original maintainer:
MOTU
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.0pl3.orig.tar.gz 2.2 MiB 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
coq_8.0pl3-2ubuntu1.diff.gz 16.1 KiB 12464569dfc5b4e6456249212348afdc1d55d389cb787a6a83e1b012086ccaff
coq_8.0pl3-2ubuntu1.dsc 1.1 KiB c9520192c42c6fdb5abba7fdfe1452b1d7e8b83f6ceb68074a1ff93014a02f68

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu gutsy.

No description available for coq in ubuntu gutsy.

coq-libs: No summary available for coq-libs in ubuntu gutsy.

No description available for coq-libs in ubuntu gutsy.

coq7-libs: No summary available for coq7-libs in ubuntu gutsy.

No description available for coq7-libs in ubuntu gutsy.

coqide: No summary available for coqide in ubuntu feisty.

No description available for coqide in ubuntu feisty.