Coq

lp:~jgross-h/coq/+git/coq-packaging

Owned by Jason Gross
Get this repository:
git clone https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging

Import details

Import Status: Reviewed

This repository is an import of the Git repository at https://github.com/JasonGross/coq-packaging.git.

The next import is scheduled to run in 7 minutes.

Last successful import was 5 hours ago.

Import started 5 hours ago on alnitak and finished 5 hours ago taking 20 seconds — see the log
Import started 12 hours ago on alnitak and finished 12 hours ago taking 25 seconds — see the log
Import started 19 hours ago on alnitak and finished 19 hours ago taking 25 seconds — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 25 seconds — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 25 seconds — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 25 seconds — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 25 seconds — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 30 seconds — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 25 seconds — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 25 seconds — see the log

Branches

Name Last Modified Last Commit
v8.10 2019-09-15 18:53:57 UTC 2019-09-15
Install new coqide files

Author: Jason Gross
Author Date: 2019-09-05 04:22:49 UTC

Install new coqide files

master 2019-09-05 04:22:49 UTC 2019-09-05
Install new coqide files

Author: Jason Gross
Author Date: 2019-09-05 04:22:49 UTC

Install new coqide files

master-coqide-no 2019-08-06 03:48:47 UTC 2019-08-06
Also install usr/bin/doc_grammar

Author: Jason Gross
Author Date: 2019-08-06 03:48:38 UTC

Also install usr/bin/doc_grammar

v8.9 2019-04-15 17:53:48 UTC 2019-04-15
Update numbering

Author: Jason Gross
Author Date: 2019-04-15 17:53:48 UTC

Update numbering

v8.10-coqide-no 2019-04-15 17:52:44 UTC 2019-04-15
Update numbering

Author: Jason Gross
Author Date: 2019-04-15 17:52:44 UTC

Update numbering

v8.8 2018-03-16 18:29:29 UTC 2018-03-16
Bump version to v8.8

Author: Jason Gross
Author Date: 2018-03-16 18:29:15 UTC

Bump version to v8.8

v8.7-precise 2018-01-14 07:21:54 UTC 2018-01-14
Update lablgtk2 dep to match coq

Author: Jason Gross
Author Date: 2018-01-14 07:18:14 UTC

Update lablgtk2 dep to match coq

master-precise 2018-01-14 07:21:13 UTC 2018-01-14
Update lablgtk2 dep to match coq

Author: Jason Gross
Author Date: 2018-01-14 07:18:14 UTC

Update lablgtk2 dep to match coq

v8.7 2018-01-14 07:18:23 UTC 2018-01-14
Update lablgtk2 dep to match coq

Author: Jason Gross
Author Date: 2018-01-14 07:18:14 UTC

Update lablgtk2 dep to match coq

trunk-precise 2017-06-14 17:34:35 UTC 2017-06-14
Make coq depend on libcoq-ocaml

Author: Jason Gross
Author Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

trunk 2017-06-14 17:34:21 UTC 2017-06-14
Make coq depend on libcoq-ocaml

Author: Jason Gross
Author Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

v8.5-precise 2016-12-15 21:06:06 UTC 2016-12-15
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.5 2016-12-15 21:06:02 UTC 2016-12-15
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.6-precise 2016-12-15 21:05:57 UTC 2016-12-15
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.6 2016-12-15 21:05:23 UTC 2016-12-15
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.3 2016-07-11 10:03:30 UTC 2016-07-11
Add -v8.3

Author: Jason Gross
Author Date: 2016-07-11 10:03:30 UTC

Add -v8.3

precise 2014-09-12 19:20:34 UTC 2014-09-12
Track renaming of coq.el to gallina.el

Author: Edward Z. Yang
Author Date: 2014-09-12 19:19:58 UTC

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

117 of 17 results
This repository contains Public information 
Everyone can see this information.

Subscribers