Debian
coq-float package

Publishing history of coq-float package in Debian

	Date	Status	Target	Pocket	Component	Section	Version
		Deleted	Sid	release	main	libdevel	1:8.10.0-1
Deleted on 2022-06-05 by Published on 2020-03-16
	2020-03-16 16:53:45 UTC	Superseded	Sid	release	main	libdevel	1:8.9.0-1
Superseded on 2020-03-16 by coq-float - 1:8.10.0-1 Published on 2020-02-01
		Deleted	Stretch	release	main	libdevel	1:8.4-5
Deleted on 2016-03-22 by Published on 2015-11-01 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2020-02-01 16:48:43 UTC	Superseded	Sid	release	main	libdevel	1:8.4-5
Superseded on 2020-02-01 by coq-float - 1:8.9.0-1 Published on 2015-10-15
	2015-11-01 16:26:39 UTC	Superseded	Stretch	release	main	libdevel	1:8.4-4
Superseded on 2015-11-01 by coq-float - 1:8.4-5 Published on 2015-05-04 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-08-11 04:27:45 UTC	Published	Jessie	release	main	libdevel	1:8.4-4
Published on 2014-08-11 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-10-15 04:19:19 UTC	Superseded	Sid	release	main	libdevel	1:8.4-4
Superseded on 2015-10-15 by coq-float - 1:8.4-5 Published on 2014-07-30
	2014-08-11 04:39:48 UTC	Superseded	Jessie	release	main	libdevel	1:8.4-3
Superseded on 2014-08-11 by coq-float - 1:8.4-4 Published on 2014-01-27 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-07-30 16:33:41 UTC	Superseded	Sid	release	main	libdevel	1:8.4-3
Superseded on 2014-07-30 by coq-float - 1:8.4-4 Published on 2014-01-21
	2014-01-27 10:51:14 UTC	Superseded	Jessie	release	main	libdevel	1:8.4-2
Superseded on 2014-01-27 by coq-float - 1:8.4-3 Published on 2013-12-12 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-01-21 04:26:22 UTC	Superseded	Sid	release	main	libdevel	1:8.4-2
Superseded on 2014-01-21 by coq-float - 1:8.4-3 Published on 2013-12-07
	2013-12-12 04:29:10 UTC	Superseded	Jessie	release	main	libdevel	1:8.4-1
Superseded on 2013-12-12 by coq-float - 1:8.4-2 Published on 2013-05-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-12-07 16:19:35 UTC	Superseded	Sid	release	main	libdevel	1:8.4-1
Superseded on 2013-12-07 by coq-float - 1:8.4-2 Published on 2013-05-09
	2013-05-25 04:31:01 UTC	Superseded	Jessie	release	main	libdevel	1:8.3pl1-4
Superseded on 2013-05-25 by coq-float - 1:8.4-1 Published on 2013-05-06 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-06-17 04:39:45 UTC	Published	Wheezy	release	main	libdevel	1:8.3pl1-4
Published on 2012-06-17 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-05-09 04:21:13 UTC	Superseded	Sid	release	main	libdevel	1:8.3pl1-4
Superseded on 2013-05-09 by coq-float - 1:8.4-1 Published on 2012-06-07
	2012-06-17 04:47:37 UTC	Superseded	Wheezy	release	main	libdevel	1:8.3pl1-3
Superseded on 2012-06-17 by coq-float - 1:8.3pl1-4 Published on 2012-04-09 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-06-07 04:28:09 UTC	Superseded	Sid	release	main	libdevel	1:8.3pl1-3
Superseded on 2012-06-07 by coq-float - 1:8.3pl1-4 Published on 2012-03-30
	2012-04-09 03:37:57 UTC	Superseded	Wheezy	release	main	libdevel	1:8.3pl1-2
Superseded on 2012-04-09 by coq-float - 1:8.3pl1-3 Published on 2012-03-17 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-03-30 15:24:15 UTC	Superseded	Sid	release	main	libdevel	1:8.3pl1-2
Superseded on 2012-03-30 by coq-float - 1:8.3pl1-3 Published on 2012-03-06
	2012-03-17 09:38:25 UTC	Superseded	Wheezy	release	main	libdevel	1:8.3pl1-1
Superseded on 2012-03-17 by coq-float - 1:8.3pl1-2 Published on 2012-01-20 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-03-06 21:33:50 UTC	Superseded	Sid	release	main	libdevel	1:8.3pl1-1
Superseded on 2012-03-06 by coq-float - 1:8.3pl1-2 Published on 2012-01-10
	2012-01-20 03:37:55 UTC	Superseded	Wheezy	release	main	libdevel	1:8.2-1.2-9
Superseded on 2012-01-20 by coq-float - 1:8.3pl1-1 Published on 2012-01-07 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2012-01-10 09:28:58 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-9
Superseded on 2012-01-10 by coq-float - 1:8.3pl1-1 Published on 2011-12-26
	2012-01-07 09:37:23 UTC	Superseded	Wheezy	release	main	libdevel	1:8.2-1.2-8
Superseded on 2012-01-07 by coq-float - 1:8.2-1.2-9 Published on 2011-11-09 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-12-26 03:30:04 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-8
Created on 2011-11-03 by Debian OCaml Maintainers Superseded on 2011-12-26 by coq-float - 1:8.2-1.2-9 Published on 2011-11-03
	2011-11-09 21:41:01 UTC	Superseded	Wheezy	release	main	libdevel	1:8.2-1.2-7
Superseded on 2011-11-09 by coq-float - 1:8.2-1.2-8 Published on 2011-04-30 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-11-03 15:28:21 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-7
Superseded on 2011-11-03 by coq-float - 1:8.2-1.2-8 Published on 2011-04-21
	2011-09-21 02:48:49 UTC	Superseded	Wheezy	release	main	libdevel	1:8.2-1.2-6
Superseded on 2011-09-21 by coq-float - 1:8.2-1.2-7 Published on 2011-03-21 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-6
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2011-03-11
	2011-09-21 02:48:49 UTC	Superseded	Wheezy	release	main	libdevel	1:8.2-1.2-5
Superseded on 2011-09-21 by coq-float - 1:8.2-1.2-7 Published on 2011-02-07 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2010-08-01 20:09:48 UTC	Published	Squeeze	release	main	libdevel	1:8.2-1.2-5
Published on 2010-08-01 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-5
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2010-07-06
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	libdevel	1:8.2-1.2-4
Superseded on 2011-09-13 by coq-float - 1:8.2-1.2-5 Published on 2010-02-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-4
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2010-02-11
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	libdevel	1:8.2-1.2-3
Superseded on 2011-09-13 by coq-float - 1:8.2-1.2-5 Published on 2009-08-03 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-3
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2009-07-15
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	libdevel	1:8.2-1.2-1
Superseded on 2011-09-13 by coq-float - 1:8.2-1.2-5 Published on 2009-04-21 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.2-1.2-1
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2009-03-14
	2011-09-13 09:25:23 UTC	Superseded	Squeeze	release	main	libdevel	1:8.1-1.0-4
Superseded on 2011-09-13 by coq-float - 1:8.2-1.2-5 Published on 2009-03-09 Copied from debian lenny in Primary Archive for Debian GNU/Linux
	2011-09-20 10:35:09 UTC	Superseded	Sid	release	main	libdevel	1:8.1-1.0-4
Superseded on 2011-09-20 by coq-float - 1:8.2-1.2-7 Published on 2008-10-29 Copied from debian lenny in Primary Archive for Debian GNU/Linux
	2008-10-29 12:57:21 UTC	Published	Lenny	release	main	libdevel	1:8.1-1.0-4
Published on 2008-10-29

«back

Debiancoq-float package

Publishing history of coq-float package in Debian

Debian
coq-float package