Information for build ghc-dec-0.0.5-1.oc9
| ID | 29174 | |||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | ghc-dec | |||||||||||||||||||||||||||
| Version | 0.0.5 | |||||||||||||||||||||||||||
| Release | 1.oc9 | |||||||||||||||||||||||||||
| Epoch | Draft | False | ||||||||||||||||||||||||||
| 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 | fanjunkong | |||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||
| Started | Fri, 20 Sep 2024 22:42:11 CST | |||||||||||||||||||||||||||
| Completed | Fri, 20 Sep 2024 22:44:25 CST | |||||||||||||||||||||||||||
| Task | build (dist-oc9-epol, /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 |
