Coq

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

Created by Jason Gross on 2016-11-17 and last modified on 2021-02-03
Get this branch:
bzr branch lp:~jgross-h/coq/v8.6-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.6.

The next import is scheduled to run in 29 minutes.

Last successful import was 5 hours ago.

Import started 5 hours ago on izar and finished 5 hours ago taking 10 seconds — see the log
Import started 11 hours ago on alnitak and finished 11 hours ago taking 10 seconds — see the log
Import started 17 hours ago on izar and finished 17 hours ago taking 5 seconds — see the log
Import started 23 hours ago on alnitak and finished 23 hours ago 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
Import started on 2021-04-18 on alnitak and finished on 2021-04-18 taking 10 seconds — see the log
Import started on 2021-04-18 on alnitak and finished on 2021-04-18 taking 10 seconds — see the log
Import started on 2021-04-18 on alnitak and finished on 2021-04-18 taking 10 seconds — see the log
Import started on 2021-04-18 on izar and finished on 2021-04-18 taking 10 seconds — see the log
Import started on 2021-04-17 on izar and finished on 2021-04-17 taking 10 seconds — see the log

Recent revisions

298. By Jason Gross on 2021-02-03

Require num on newer OCaml

297. By Jason Gross on 2016-12-15

arch-specific coq-theories

296. By Jason Gross on 2016-12-15

Revert "Add debug output"

This reverts commit e6bc1fe9c09747d03c9bd0d04327826a7f2df033.

It only gets built on i386 builds

295. By Jason Gross on 2016-12-15

Add debug output

294. By Jason Gross on 2016-12-09

Remove DYN

293. By Jason Gross on 2016-12-08

Add cmxs to lobcoq-ocaml

292. By Jason Gross on 2016-12-06

Fix a conflict in 8.6

291. By Jason Gross on 2016-11-21

README -> README.md

290. By Jason Gross on 2016-11-21

Add usr/lib/coq/META

289. By Jason Gross on 2016-11-17

compat5 moved locations

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