Skip to main content.
Useful links:
www.pkgsrc.org
|
www.netbsd.org
|
www.netbsd.se
Navigation:
Home
|
Browse by maintainer
|
Search
|
RSS
|
Info
|
Statistics
|
Help
|
Contact
Browse pkgsrc
(this page)
+ virtual
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
New packages:
Today
Yesterday
Last week
Last month
Path to this page:
Back
Package history:
(
2024-11-15
) Package updated to version:
coq-8.15.2nb18
(
2024-11-01
) Package updated to version:
coq-8.15.2nb17
(
2024-11-01
) Some files were
modified
(
2024-11-01
) Package updated to version:
coq-8.15.2nb16
(
2024-11-01
) Some files were
modified
(
2024-10-20
) Package updated to version:
coq-8.15.2nb15
(
2024-10-20
) Some files were
modified
(
2024-10-14
) Some files were
modified
(
2024-05-29
) Package updated to version:
coq-8.15.2nb14
(
2024-05-29
) Some files were
modified
(
2024-04-07
) Some files were
modified
(
2024-04-07
) Package updated to version:
coq-8.15.2nb13
(
2024-04-06
) Package updated to version:
coq-8.15.2nb12
(
2024-04-06
) Some files were
modified
(
2023-11-14
) Some files were
modified
(
2023-11-14
) Package updated to version:
coq-8.15.2nb11
(
2023-11-12
) Package updated to version:
coq-8.15.2nb10
(
2023-11-12
) Some files were
modified
(
2023-11-08
) Package updated to version:
coq-8.15.2nb9
(
2023-11-08
) Some files were
modified
(
2023-11-08
) Some files were
modified
(
2023-10-21
) Some files were
modified
(
2023-10-21
) Package updated to version:
coq-8.15.2nb8
(
2023-08-14
) Package updated to version:
coq-8.15.2nb7
(
2023-08-14
) Some files were
modified
(
2023-06-06
) Some files were
modified
(
2023-04-19
) Package updated to version:
coq-8.15.2nb6
(
2023-04-19
) Some files were
modified
(
2023-02-09
) Some files were
modified
(
2023-01-30
) Some files were
modified
(
2023-01-30
) Package updated to version:
coq-8.15.2nb5
(
2023-01-16
) Some files were
modified
(
2023-01-03
) Some files were
modified
(
2023-01-03
) Package updated to version:
coq-8.15.2nb4
(
2022-11-23
) Some files were
modified
(
2022-11-23
) Package updated to version:
coq-8.15.2nb3
(
2022-08-11
) Package updated to version:
coq-8.15.2nb2
(
2022-08-11
) Some files were
modified
(
2022-06-30
) Package updated to version:
coq-8.15.2nb1
(
2022-06-30
) Some files were
modified
(
2022-06-21
) Package updated to version:
coq-8.15.2
(
2022-06-21
) Some files were
modified
(
2022-06-03
) Some files were
modified
(
2022-05-01
) Some files were
modified
(
2022-04-20
) Some files were
modified
(
2022-04-20
) Package updated to version:
coq-8.12.2nb4
(
2021-12-08
) Some files were
modified
(
2021-12-08
) Package updated to version:
coq-8.12.2nb3
(
2021-12-01
) Some files were
modified
(
2021-10-26
) Some files were
modified
(
2021-10-07
) Some files were
modified
(
2021-04-21
) Package updated to version:
coq-8.12.2nb2
(
2021-04-21
) Some files were
modified
(
2021-03-08
) Package updated to version:
coq-8.12.2nb1
(
2021-03-08
) Some files were
modified
(
2021-02-10
) Package updated to version:
coq-8.12.2
(
2021-02-10
) Some files were
modified
(
2020-11-05
) Package updated to version:
coq-8.10.2nb6
(
2020-11-05
) Some files were
modified
(
2020-08-18
) Some files were
modified
(
2020-08-18
) Package updated to version:
coq-8.10.2nb5
(
2020-06-02
) Package updated to version:
coq-8.10.2nb4
(
2020-06-02
) Some files were
modified
(
2020-05-24
) Some files were
modified
(
2020-04-28
) Some files were
modified
(
2020-03-11
) Some files were
modified
(
2020-03-11
) Package updated to version:
coq-8.10.2nb3
(
2020-03-08
) Some files were
modified
(
2020-03-08
) Package updated to version:
coq-8.10.2nb2
(
2020-03-01
) Some files were
modified
(
2020-03-01
) Package updated to version:
coq-8.10.2nb1
(
2020-01-24
) Some files were
modified
(
2020-01-24
) Package updated to version:
coq-8.10.2
(
2020-01-19
) Package updated to version:
coq-8.9.1nb4
(
2020-01-19
) Some files were
modified
(
2019-11-03
) Some files were
modified
(
2019-09-04
) Some files were
modified
(
2019-09-01
) Some files were
modified
(
2019-09-01
) Package updated to version:
coq-8.9.1nb3
(
2019-07-22
) Package updated to version:
coq-8.9.1nb2
(
2019-07-22
) Some files were
modified
(
2019-07-21
) Package updated to version:
coq-8.9.1nb1
(
2019-07-21
) Some files were
modified
(
2019-05-23
) Some files were
modified
(
2019-05-23
) Package updated to version:
coq-8.9.1
(
2019-05-06
) Some files were
modified
(
2019-05-06
) Package updated to version:
coq-8.9.0nb3
(
2019-04-26
) Some files were
modified
(
2019-04-25
) Some files were
modified
(
2019-04-25
) Package updated to version:
coq-8.9.0nb2
(
2019-04-03
) Some files were
modified
(
2019-04-03
) Package updated to version:
coq-8.9.0nb1
(
2019-03-06
) Some files were
modified
(
2019-03-06
) Package updated to version:
coq-8.9.0
(
2018-12-09
) Package updated to version:
coq-8.8.1nb5
(
2018-12-09
) Some files were
modified
(
2018-11-29
) Some files were
modified
(
2018-11-29
) Package updated to version:
coq-8.8.1nb4
(
2018-11-15
) Some files were
modified
(
2018-11-15
) Package updated to version:
coq-8.8.1nb3
(
2018-11-12
) Some files were
modified
(
2018-11-12
) Package updated to version:
coq-8.8.1nb2
(
2018-10-25
) Package updated to version:
coq-8.8.1nb1
(
2018-10-25
) Some files were
modified
(
2018-08-02
) Package updated to version:
coq-8.8.1
(
2018-08-02
) Some files were
modified
(
2018-07-24
) Some files were
modified
(
2018-07-24
) Package updated to version:
coq-8.7.2nb4
(
2018-06-16
) Some files were
modified
(
2018-04-18
) Package updated to version:
coq-8.7.2nb3
(
2018-04-18
) Some files were
modified
(
2018-04-16
) Some files were
modified
(
2018-04-16
) Package updated to version:
coq-8.7.2nb2
(
2018-04-14
) Some files were
modified
(
2018-04-14
) Package updated to version:
coq-8.7.2nb1
(
2018-04-09
) Some files were
modified
(
2018-04-09
) Package updated to version:
coq-8.7.2
(
2018-03-13
) Package updated to version:
coq-8.7.1nb2
(
2018-03-13
) Some files were
modified
(
2018-01-28
) Package updated to version:
coq-8.7.1nb1
(
2018-01-28
) Some files were
modified
(
2018-01-22
) Some files were
modified
(
2018-01-10
) Package updated to version:
coq-8.7.1
(
2018-01-10
) Some files were
modified
(
2018-01-02
) Some files were
modified
(
2017-11-30
) Package updated to version:
coq-8.7.0nb2
(
2017-11-30
) Some files were
modified
(
2017-11-23
) Some files were
modified
(
2017-11-23
) Package updated to version:
coq-8.7.0nb1
(
2017-11-23
) Some files were
modified
(
2017-11-18
) Some files were
modified
(
2017-11-17
) Some files were
modified
(
2017-11-14
) Some files were
modified
(
2017-11-03
) Package updated to version:
coq-8.7.0
(
2017-11-03
) Some files were
modified
(
2017-09-18
) Package updated to version:
coq-8.6.1nb1
(
2017-09-18
) Some files were
modified
(
2017-09-13
) Some files were
modified
(
2017-09-12
) Some files were
modified
(
2017-09-08
) Package updated to version:
coq-8.6.1
(
2017-09-08
) Some files were
modified
(
2017-08-31
) Some files were
modified
(
2017-07-11
) Some files were
modified
(
2017-07-11
) Package updated to version:
coq-8.6nb4
(
2017-04-23
) Package updated to version:
coq-8.6nb3
(
2017-04-23
) Some files were
modified
(
2017-02-12
) Some files were
modified
(
2017-02-12
) Package updated to version:
coq-8.6nb2
(
2017-02-06
) Some files were
modified
(
2017-02-06
) Package updated to version:
coq-8.6nb1
(
2017-01-12
) Some files were
modified
(
2016-12-30
) Package updated to version:
coq-8.6
(
2016-12-30
) Some files were
modified
(
2016-12-04
) Some files were
modified
(
2016-12-04
) Package updated to version:
coq-8.5pl1nb2
(
2016-08-03
) Some files were
modified
(
2016-08-03
) Package updated to version:
coq-8.5pl1nb1
(
2016-07-02
) Package updated to version:
coq-8.5pl1
(
2016-07-02
) Some files were
modified
(
2016-05-05
) Package updated to version:
coq-8.5nb4
(
2016-05-05
) Some files were
modified
(
2016-05-03
) Some files were
modified
(
2016-05-03
) Package updated to version:
coq-8.5nb3
(
2016-04-12
) Package updated to version:
coq-8.5nb2
(
2016-04-12
) Some files were
modified
(
2016-03-05
) Package updated to version:
coq-8.5nb1
(
2016-03-05
) Some files were
modified
(
2016-02-06
) Some files were
modified
(
2016-02-06
) Package updated to version:
coq-8.5
(
2015-12-29
) Some files were
modified
(
2015-12-19
) Some files were
modified
(
2015-11-04
) Some files were
modified
(
2015-10-10
) Package updated to version:
coq-8.4pl6nb3
(
2015-10-10
) Some files were
modified
(
2015-09-07
) Some files were
modified
(
2015-09-07
) Some files were
modified
(
2015-08-07
) Package updated to version:
coq-8.4pl6nb2
(
2015-08-07
) Some files were
modified
(
2015-06-30
) Some files were
modified
(
2015-06-30
) Package updated to version:
coq-8.4pl6nb1
(
2015-04-25
) Package updated to version:
coq-8.4pl6
(
2015-04-25
) Some files were
modified
(
2015-04-06
) Some files were
modified
(
2015-04-06
) Package updated to version:
coq-8.4pl4nb4
(
2015-01-20
) Some files were
modified
(
2015-01-20
) Package updated to version:
coq-8.4pl4nb3
(
2014-10-10
) Some files were
modified
(
2014-10-10
) Some files were
modified
(
2014-10-10
) Package updated to version:
coq-8.4pl4nb2
(
2014-10-08
) Package updated to version:
coq-8.4pl4nb1
(
2014-10-08
) Some files were
modified
(
2014-07-24
) Some files were
modified
(
2014-05-13
) Package updated to version:
coq-8.4pl4
(
2014-05-13
) Some files were
modified
(
2014-05-05
) Package updated to version:
coq-8.4pl2nb14
(
2014-05-05
) Some files were
modified
(
2014-04-09
) Package updated to version:
coq-8.4pl2nb13
(
2014-04-09
) Some files were
modified
(
2014-02-12
) Package updated to version:
coq-8.4pl2nb12
(
2014-02-12
) Some files were
modified
(
2014-01-01
) Some files were
modified
(
2014-01-01
) Package updated to version:
coq-8.4pl2nb11
(
2013-11-02
) Some files were
modified
(
2013-10-30
) Some files were
modified
(
2013-10-30
) Package updated to version:
coq-8.4pl2nb10
(
2013-10-28
) Some files were
modified
(
2013-10-27
) Some files were
modified
(
2013-10-19
) Package updated to version:
coq-8.4pl2nb9
(
2013-10-19
) Some files were
modified
(
2013-10-10
) Some files were
modified
(
2013-10-10
) Package updated to version:
coq-8.4pl2nb8
(
2013-10-09
) Package updated to version:
coq-8.4pl2nb7
(
2013-10-09
) Some files were
modified
(
2013-09-03
) Package updated to version:
coq-8.4pl2nb6
(
2013-09-03
) Some files were
modified
(
2013-06-06
) Package updated to version:
coq-8.4pl2nb5
(
2013-06-06
) Some files were
modified
(
2013-06-05
) Some files were
modified
(
2013-06-05
) Package updated to version:
coq-8.4pl2nb4
(
2013-06-03
) Package updated to version:
coq-8.4pl2nb3
(
2013-06-03
) Some files were
modified
(
2013-05-25
) Package updated to version:
coq-8.4pl2nb2
(
2013-05-25
) Some files were
modified
(
2013-05-09
) Package updated to version:
coq-8.4pl2nb1
(
2013-05-09
) Some files were
modified
(
2013-04-20
) Package updated to version:
coq-8.4pl2
(
2013-04-20
) Some files were
modified
(
2013-02-24
) Some files were
modified
(
2013-02-16
) Some files were
modified
(
2013-02-16
) Package updated to version:
coq-8.4pl1nb3
(
2013-02-12
) Package updated to version:
coq-8.4pl1nb2
(
2013-02-12
) Some files were
modified
(
2013-01-29
) Some files were
modified
(
2013-01-27
) Some files were
modified
(
2013-01-27
) Package updated to version:
coq-8.4pl1nb1
(
2013-01-22
) Some files were
modified
(
2013-01-22
) Package updated to version:
coq-8.4pl1
(
2013-01-13
) Some files were
modified
(
2012-12-15
) Package updated to version:
coq-8.4nb2
(
2012-12-15
) Some files were
modified
(
2012-11-16
) Some files were
modified
(
2012-11-16
) Package updated to version:
coq-8.4nb1
(
2012-11-12
) Some files were
modified
(
2012-10-29
) Package updated to version:
coq-8.4
(
2012-10-29
) Some files were
modified
(
2012-10-09
) Package updated to version:
coq-8.3pl1nb16
(
2012-10-09
) Some files were
modified
(
2012-10-08
) Some files were
modified
(
2012-10-08
) Package updated to version:
coq-8.3pl1nb15
(
2012-10-03
) Some files were
modified
(
2012-10-02
) Package updated to version:
coq-8.3pl1nb14
(
2012-10-02
) Some files were
modified
(
2012-09-23
) Some files were
modified
(
2012-09-15
) Some files were
modified
(
2012-09-15
) Package updated to version:
coq-8.3pl1nb13
(
2012-09-08
) Package updated to version:
coq-8.3pl1nb12
(
2012-09-08
) Some files were
modified
(
2012-07-15
) Some files were
modified
(
2012-07-15
) Package updated to version:
coq-8.3pl1nb11
(
2012-06-14
) Package updated to version:
coq-8.3pl1nb10
(
2012-06-14
) Some files were
modified
(
2012-04-27
) Package updated to version:
coq-8.3pl1nb9
(
2012-04-27
) Some files were
modified
(
2012-03-06
) Package updated to version:
coq-8.3pl1nb8
(
2012-03-06
) Some files were
modified
(
2012-03-03
) Some files were
modified
(
2012-03-03
) Package updated to version:
coq-8.3pl1nb7
(
2012-02-06
) Package updated to version:
coq-8.3pl1nb6
(
2012-02-06
) Some files were
modified
(
2012-01-24
) Some files were
modified
(
2012-01-24
) Package updated to version:
coq-8.3pl1nb5
(
2012-01-13
) Some files were
modified
(
2012-01-13
) Package updated to version:
coq-8.3pl1nb4
(
2011-12-14
) Some files were
modified
(
2011-12-13
) Some files were
modified
(
2011-12-06
) Package updated to version:
coq-8.3pl1nb3
(
2011-12-06
) Some files were
modified
(
2011-11-01
) Some files were
modified
(
2011-11-01
) Package updated to version:
coq-8.3pl1nb2
(
2011-05-16
) Some files were
modified
(
2011-04-22
) Some files were
modified
(
2011-04-22
) Package updated to version:
coq-8.3pl1nb1
(
2011-04-21
) Some files were
modified
(
2011-03-29
) Package updated to version:
coq-8.3pl1
(
2011-03-29
) Some files were
modified
(
2011-01-13
) Package updated to version:
coq-8.3nb2
(
2011-01-13
) Some files were
modified
(
2010-11-16
) Package updated to version:
coq-8.3nb1
(
2010-11-16
) Some files were
modified
(
2010-11-15
) Package updated to version:
coq-8.3
(
2010-11-15
) Some files were
modified
(
2010-11-07
) Some files were
modified
(
2010-10-12
) Some files were
modified
(
2010-09-14
) Package updated to version:
coq-8.2pl1nb2
(
2010-09-14
) Some files were
modified
(
2010-06-14
) Some files were
modified
(
2010-06-14
) Package updated to version:
coq-8.2pl1nb1
(
2009-12-22
) Some files were
modified
(
2009-12-13
) Some files were
modified
(
2009-10-29
) Some files were
modified
(
2009-09-06
) Package updated to version:
coq-8.2pl1
(
2009-09-06
) Some files were
modified
(
2009-08-27
) Package updated to version:
coq-8.1pl3nb2
(
2009-08-27
) Some files were
modified
(
2009-07-06
) Some files were
modified
(
2009-06-15
) Some files were
modified
(
2008-11-17
) Some files were
modified
(
2008-05-05
) Some files were
modified
(
2008-04-27
) Some files were
modified
(
2008-04-27
) Package updated to version:
coq-8.1pl3nb1
(
2008-04-27
) Some files were
modified
(
2008-04-27
) Some files were
modified
(
2008-04-13
) Some files were
modified
(
2008-03-29
) Some files were
modified
(
2008-01-18
) Package updated to version:
coq-8.1pl3
(
2008-01-18
) Some files were
modified
(
2008-01-12
) Package updated to version:
coq-8.1pl3
(
2008-01-11
) Some files were
modified
(
2007-12-30
) Some files were
modified
(
2007-12-26
) Some files were
modified
(
2007-12-08
) Some files were
modified
(
2007-12-08
) Package updated to version:
coq-8.1pl2
(
2007-12-01
) Package updated to version:
coq-8.1pl2
(
2007-09-23
) Some files were
modified
(
2007-09-23
) Package updated to version:
coq-8.1nb1
(
2007-09-21
) Package updated to version:
coq-8.1nb1
(
2007-02-25
) Package updated to version:
coq-8.1
(
2006-02-06
) Package updated to version:
coq-8.0pl3nb1
(
2006-01-28
) Package updated to version:
coq-8.0pl3
(
2006-01-16
) Package updated to version:
coq-8.0pl2nb1
(
2005-10-05
) Package added to pkgsrc, version
8.0pl2
(coq-8.0pl2) (
created
)
Browse pkgsrc
(this page)
New packages: