* Package name : ats2-mode Version : 0.0.7~20140102 Upstream Author : Stefan Monnier <monnier@iro.umontreal.ca> * URL : https://github.com/githwxi/ATS-Postiats/tree/master/utils/emacs Vcs-Browser : http://git.debian.org/?p=collab-maint/ats2-mode.git * License : GPL-3.0+ Programming Lang: Emacs lisp Description : Emacs major mode to edit ATS2 source code ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the emacs major mode to edit ATS2 source code.
Hi. Could you sponsor upload my ats2-mode debian package, that is uploaded at memtors.debian.net. https://mentors.debian.net/package/ats2-mode And the source package is hosting at following. http://git.debian.org/?p=collab-maint/ats2-mode.git;a=summary Best regards,
Yes, I should be able to do so. I will take a look at it in a bit.
Did you ever have a chance to respond to the comments I left on your mentor web page? On Sun, Apr 27, 2014 at 12:21 PM, Matthew Danish <matthew.r.danish@gmail.com> wrote:
Hi Matthew. Ah. I know that now. New package is dputted at mentors, now. And could you add me to dm.txt? I would like to re-dput with DM accessibility. https://lists.debian.org/debian-devel/2012/06/msg00321.html https://ftp-master.debian.org/dm.txt $ gpg --fingerprint F2CBCA06 pub 4096R/F2CBCA06 2009-09-12 Key fingerprint = DF60 3D3A 3C15 1B2C DF19 52F4 18DD 4D72 F2CB CA06 uid Kiwamu Okabe <kiwamu@ocaml.jp> uid Kiwamu Okabe <kiwamu@masterq.net> uid Kiwamu Okabe <kiwamu@debian.or.jp> uid Kiwamu Okabe <kiwamu@gmail.com> Thank's,
E: Failed to fetch http://mentors.debian.net/debian/pool/main/a/ats2-mode/ats2-mode_0.0.7~20140102-1.dsc Hash Sum mismatch
Hi Matthew. On Thu, May 8, 2014 at 2:12 AM, Matthew Danish <matthew.r.danish@gmail.com> wrote: Sorry... Bump up version. http://mentors.debian.net/debian/pool/main/a/ats2-mode/ats2-mode_0.0.7~20140102-2.dsc I'm already DM. http://qa.debian.org/developer.php?login=kiwamu%40debian.or.jp Thank's,
retitle 746026 RFP: ats2-mode -- Emacs major mode to edit ATS2 source code noowner 746026 tag 746026 - pending thanks Hi, A long time ago, you expressed interest in packaging ats2-mode. Unfortunately, it seems that it did not happen. In Debian, we try not to keep ITP bugs open for a too long time, as it might cause other prospective maintainers to refrain from packaging the software. This is an automatic email to change the status of ats2-mode from ITP (Intent to Package) to RFP (Request for Package), because this bug hasn't seen any activity during the last 12 months. If you are still interested in packaging ats2-mode, please send a mail to <control@bugs.debian.org> with: retitle 746026 ITP: ats2-mode -- Emacs major mode to edit ATS2 source code owner 746026 ! thanks It is also a good idea to document your progress on this ITP from time to time, by mailing <746026@bugs.debian.org>. If you need guidance on how to package this software, please reply to this email, and/or contact the debian-mentors@lists.debian.org mailing list. Thank you for your interest in Debian,