Information for build ghc-dec-0.0.5-1.ocs23
| ID | 14478 | |||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ghc-dec | |||||||||||||||||||||||||||
| Version | 0.0.5 | |||||||||||||||||||||||||||
| Release | 1.ocs23 | |||||||||||||||||||||||||||
| Epoch | ||||||||||||||||||||||||||||
| Source | git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#31e70112743113f173eb5b84df6a2ee09f15ee9e | |||||||||||||||||||||||||||
| Summary | Decidable propositions | |||||||||||||||||||||||||||
| Description | This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '. | |||||||||||||||||||||||||||
| Built by | bbrucezhang | |||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||
| Started | Fri, 09 Aug 2024 10:23:18 CST | |||||||||||||||||||||||||||
| Completed | Fri, 09 Aug 2024 10:26:12 CST | |||||||||||||||||||||||||||
| Task | build (dist-ocs23-epol9, /opencloudos-stream/ghc-dec.git:.:origin/master) | |||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/ghc-dec.git?.#origin/master'}} | |||||||||||||||||||||||||||
| Tags |
|
|||||||||||||||||||||||||||
| RPMs |
|
|||||||||||||||||||||||||||
| Logs | ||||||||||||||||||||||||||||
| Changelog | * Thu Aug 08 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.0.5-1 - initial build |
