Packages
Tasks
Files
Maintainers
EN
EN
RU
Last changes
Packages
Images
Maintainers
Security
Tasks
About repository
Wiki
Mailing List
Repository: 4.1
Branches
Last changes
Packages
Images
Maintainers
Security
Tasks
About repository
Wiki
Mailing List
Maintainer vsl in the 4.1 branch: Information
Information
Packages
Bugs (0/14)
Tasks
Maintainer name:
Vitaly Lugovsky (vsl)
Built source packages in this branch:
4
Last changes
Jan 26, 2006, 03:49 AM
SpamOracle
Version:
1.2-alt2
Summary:
Spam filter
Changelog:
- initial release
Nov 29, 2004, 03:06 PM
tuareg-mode
Version:
1.43.0-alt1
Summary:
Emacs mode for Objective Caml
Changelog:
- new version
Mar 17, 2003, 03:50 PM
prosper
Version:
1.00.4-alt1
Summary:
Presentations style for latex
Changelog:
- initial release
Oct 28, 2002, 12:42 PM
ProofGeneral
Version:
3.4-alt1
Summary:
Emacs interface for Proof Assistants
Changelog:
- new version
VKontakte
|
Telegram
|
YouTube
|
Forum
|
GitHub
|
Bugzilla
Version: v24.4.2
Back to top