Index of /by-release/debian/p/picosat
Name
Last modified
Size
Description
Parent Directory
-
patches.xml
2021-02-21 09:11
2.1K
picosat_846-1.patch-basis
2008-10-07 15:47
6
picosat_913-1.patch-basis
2009-11-23 17:36
6
picosat_913-1.patch.bz2
2009-11-23 17:36
22K
picosat_913-2.patch-basis
2010-03-06 06:40
6
picosat_913-2.patch.bz2
2010-03-06 06:40
31K
picosat_913-4.patch-basis
2010-05-04 22:51
6
picosat_913-4.patch.bz2
2010-05-04 22:51
32K
picosat_936-1.patch-basis
2010-09-07 05:36
6
picosat_936-1.patch.bz2
2010-09-07 05:36
58K
picosat_936-2.patch-basis
2011-03-29 20:09
6
picosat_936-2.patch.bz2
2011-03-29 20:09
3.1K
picosat_936-3.patch-basis
2011-08-11 12:31
6
picosat_936-3.patch.bz2
2011-08-11 12:31
1.6K
picosat_936-4.patch-basis
2012-03-16 09:42
6
picosat_936-4.patch.bz2
2012-03-16 09:42
2.1K
picosat_953-2.patch-basis
2012-12-02 15:06
6
picosat_953-2.patch.bz2
2012-12-02 15:06
91K
picosat_954-1.patch-basis
2012-12-21 03:37
6
picosat_954-1.patch.bz2
2012-12-21 03:37
1.4K
picosat_960-1.patch-basis
2014-11-08 22:09
6
picosat_960-1.patch.bz2
2014-11-08 22:09
7.0K
picosat_965-2.patch-basis
2021-02-21 09:09
6
picosat_965-2.patch.bz2
2021-02-21 09:09
1.6K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443