Coq

lp:~jgross-h/coq/v8.5-packaging

Created by Jason Gross on 2016-07-26 and last modified on 2021-02-03
Get this branch:
bzr branch lp:~jgross-h/coq/v8.5-packaging

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Jason Gross
Project:
Coq
Status:
Development

Import details

Import Status: Reviewed

This branch is an import of the HEAD branch of the Git repository at https://github.com/JasonGross/coq-packaging.git,branch=v8.5.

The next import is scheduled to run in 2 hours.

Last successful import was 3 hours ago.

Import started 3 hours ago on izar and finished 3 hours ago taking 10 seconds — see the log
Import started 9 hours ago on izar and finished 9 hours ago taking 10 seconds — see the log
Import started 15 hours ago on alnitak and finished 15 hours ago taking 10 seconds — see the log
Import started 21 hours ago on alnitak and finished 21 hours ago taking 10 seconds — see the log
Import started on 2021-04-21 on izar and finished on 2021-04-21 taking 5 seconds — see the log
Import started on 2021-04-20 on izar and finished on 2021-04-20 taking 5 seconds — see the log
Import started on 2021-04-20 on alnitak and finished on 2021-04-20 taking 10 seconds — see the log
Import started on 2021-04-20 on izar and finished on 2021-04-20 taking 10 seconds — see the log
Import started on 2021-04-20 on izar and finished on 2021-04-20 taking 10 seconds — see the log
Import started on 2021-04-19 on izar and finished on 2021-04-19 taking 10 seconds — see the log

Recent revisions

290. By Jason Gross on 2021-02-03

Require num on newer OCaml

289. By Jason Gross on 2016-12-15

arch-specific coq-theories

288. By Jason Gross on 2016-12-09

Remove DYN

287. By Jason Gross on 2016-12-08

Add cmxs to lobcoq-ocaml

286. By Jason Gross on 2016-11-17

Remove cat from rules

285. By Jason Gross on 2016-11-17

Add usr/share/coq/coq-ssreflect.lang

284. By Jason Gross on 2016-11-04

Fix regex for debian/rules

283. By Jason G on 2016-10-30

cat for debugging purposes

282. By Jason Gross on 2016-08-16

Don't check COQ_VERSION for the tip of v8.5

281. By Edward Z. Yang on 2015-01-11

Apparently v and glob files are installed now too.

Signed-off-by: Edward Z. Yang <email address hidden>

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers