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 15 minutes.

Last successful import was 5 hours ago.

Import started 5 hours ago on izar and finished 5 hours ago taking 20 seconds — see the log
Import started 11 hours ago on alnitak and finished 11 hours ago taking 20 seconds — see the log
Import started 17 hours ago on alnitak and finished 17 hours ago taking 40 seconds — see the log
Import started 23 hours ago on izar and finished 23 hours ago taking 30 seconds — see the log
Import started on 2019-06-24 on izar and finished on 2019-06-24 taking 30 seconds — see the log
Import started on 2019-06-24 on alnitak and finished on 2019-06-24 taking 25 seconds — see the log
Import started on 2019-06-23 on alnitak and finished on 2019-06-23 taking 30 seconds — see the log
Import started on 2019-06-23 on izar and finished on 2019-06-23 taking 20 seconds — see the log
Import started on 2019-06-23 on izar and finished on 2019-06-23 taking 25 seconds — see the log
Import started on 2019-06-23 on alnitak and finished on 2019-06-23 taking 20 seconds — see the log

Branches

Name Last Modified Last Commit
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 2019-04-15 17:52:56 UTC 2019-04-15
Update numbering

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

Update numbering

v8.10-precise-trusty 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

master-precise-trusty 2019-03-23 07:41:53 UTC 2019-03-23
Actually remove CoqIDE things

Author: Jason Gross
Author Date: 2019-03-23 07:41:53 UTC

Actually remove CoqIDE things

master 2019-03-21 06:29:08 UTC 2019-03-21
Update to new coqide

Author: Jason Gross
Author Date: 2019-03-21 06:29:08 UTC

Update to new coqide

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