cvc3 2.4.1-3 source package in Debian
Changelog
cvc3 (2.4.1-3) unstable; urgency=low
* Create new package libcvc3-dev to replace libcvc3-5-dev and
libcvc3-2-dev (Closes: #662198)
* Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni
(Closes: #662200)
* Leave .el files in site-lisp directory when installing cvc3-el
to enable source lookup (Closes: #665319)
* Remove cvc-mode autoload from site-start.d on cvc3-el removal
(Closes: #668688)
* Bring cvc3-el.emacsen-startup in line with Debian policy
(Closes: #668685)
-- Christopher L. Conway <email address hidden> Mon, 16 Apr 2012 22:23:39 -0400
Upload details
- Uploaded by:
- Chris Conway
- Uploaded to:
- Sid
- Original maintainer:
- Chris Conway
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cvc3_2.4.1-3.dsc | 2.1 KiB | 8beb0a54449fb72721606d986770fe76ce35a8a7d943bf0535747cabc09dd624 |
| cvc3_2.4.1.orig.tar.gz | 1.1 MiB | d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 |
| cvc3_2.4.1-3.debian.tar.gz | 8.9 KiB | 2e81c79cf1526b65f4a6cf565601afbe97650e8cffb67c475db17c47d0ef1641 |
No changes file available.
